conda: set TIMEFORMAT for timed bash commands
MODIFY
repo2docker/buildpacks/conda/__init__.py
repo2docker/buildpacks/conda/__init__.py
@@ -79,6 +79,7 @@ class CondaBuildPack(BaseImage):
(
"root",
r"""
+ TIMEFORMAT='time: %3R' \
bash -c 'time /tmp/install-miniforge.bash' && \
rm /tmp/install-miniforge.bash /tmp/environment.yml
""",
@@ -275,6 +276,7 @@ class CondaBuildPack(BaseImage):
(
"${NB_USER}",
r"""
+ TIMEFORMAT='time: %3R' \
bash -c 'time mamba env update -p {0} -f "{1}" && \
time mamba clean --all -f -y && \
mamba list -p {0} \

conda: set TIMEFORMAT for timed bash commands