Enable extended globs in bash (1st attempt)

3c6934ca · Nicolas M. Thiéry · 0652aef0 · 3c6934ca
Commit 3c6934ca authored Sep 17, 2020 by Nicolas M. Thiéry
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

Dockerfile Dockerfile +2 -2

No files found.
--- a/Dockerfile
+++ b/Dockerfile
@@ -9,8 +9,8 @@ RUN apt-get update && \
    apt-get clean && \
    rm -rf /var/lib/apt/lists/*

-# Setup default prompt
-RUN echo 'export PS1=`echo $JUPYTERHUB_USER| sed s/-at-u-psud.fr//`"@jupyterhub \w \$ "' > /root/.bash_profile
+# Setup default prompt and enable extended file globs
+RUN echo 'export PS1=`echo $JUPYTERHUB_USER| sed s/-at-u-psud.fr//`"@jupyterhub \w \$ "\nshopt -s extglob' > /root/.bash_profile

 USER $NB_UID