From 5ea7e465445ce451af653b54ece2ccfef757ba2b Mon Sep 17 00:00:00 2001
From: Olivier Benz <olivier.benz@b-data.ch>
Date: Sat, 17 Aug 2024 15:43:00 +0200
Subject: [PATCH] Dev Containers: Update wording in Dockerfiles
---
.devcontainer/GHC-legacy.Dockerfile | 4 ++--
.devcontainer/GHC.Dockerfile | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/.devcontainer/GHC-legacy.Dockerfile b/.devcontainer/GHC-legacy.Dockerfile
index 7fe90a7..e857d6c 100644
--- a/.devcontainer/GHC-legacy.Dockerfile
+++ b/.devcontainer/GHC-legacy.Dockerfile
@@ -71,13 +71,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; \
fi \
## Info about timezone
&& echo "TZ is set to $TZ" \
- ## Add/Update locale if needed
+ ## Add/Update locale if requested
&& if [ "$LANG" != "C.UTF-8" ]; then \
if [ -n "$LANG" ]; then \
apk add --no-cache musl-locales musl-locales-lang; \
diff --git a/.devcontainer/GHC.Dockerfile b/.devcontainer/GHC.Dockerfile
index cce8667..418dac0 100644
--- a/.devcontainer/GHC.Dockerfile
+++ b/.devcontainer/GHC.Dockerfile
@@ -69,13 +69,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; \
fi \
## Info about timezone
&& echo "TZ is set to $TZ" \
- ## Add/Update locale if needed
+ ## Add/Update locale if requested
&& if [ "$LANG" != "C.UTF-8" ]; then \
if [ -n "$LANG" ]; then \
apk add --no-cache musl-locales musl-locales-lang; \
--
GitLab