Merge pull request #6646 from benz0li/update-dev-containers-4fb994f

Dev Containers: Update handling of timezone setting

.devcontainer/GHC.Dockerfile

@@ -68,14 +68,13 @@ RUN if [ -n "$USE_ZSH_FOR_ROOT" ]; then \
     fix-chsh.sh; \
     chsh -s /bin/zsh; \
   fi \
-  ## Update timezone if needed
+  ## Update timezone if requested
   && if [ "$TZ" != "" ]; then \
     apk add --no-cache tzdata; \
-    echo "Setting TZ to $TZ"; \
-    ln -snf "/usr/share/zoneinfo/$TZ" /etc/localtime \
-      && echo "$TZ" > /etc/timezone; \
   fi \
-  ## Add/Update locale if needed
+  ## Info about timezone
+  && echo "TZ is set to $TZ" \
+  ## Add/Update locale if requested
   && if [ "$LANG" != "C.UTF-8" ]; then \
     if [ -n "$LANG" ]; then \
       apk add --no-cache musl-locales musl-locales-lang; \
@@ -84,7 +83,9 @@ RUN if [ -n "$USE_ZSH_FOR_ROOT" ]; then \
     sed -i "s/LANG:-C.UTF-8/LANG:-$LANG/" /etc/profile.d/*locale.sh; \
     sed -i "s/LC_COLLATE=C/LC_COLLATE=$LANG/" /etc/profile.d/*locale.sh; \
     sed -i "s/LC_COLLATE:-C/LC_COLLATE:-$LANG/" /etc/profile.d/*locale.sh; \
-  fi
+  fi \
+  ## Info about locale
+  && echo "LANG is set to $LANG"
 
 ## Copy binaries as late as possible to avoid cache busting
 ## Install HLS