Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Commit e49a700b authored by Nicolas M. Thiéry's avatar Nicolas M. Thiéry
Browse files

Proper prompt and extglob configuration

parent be31b031
Pipeline #84372 passed with stage
in 59 minutes and 37 seconds
......@@ -10,8 +10,10 @@ RUN apt-get update && \
apt-get clean && \
rm -rf /var/lib/apt/lists/*
# Setup default prompt and enable extended file globs
RUN echo 'export PS1=`echo $JUPYTERHUB_USER| sed s/`"@jupyterhub \w \$ "\nshopt -s extglob' > /root/.bash_profile
# Setup default prompt
RUN echo 'export PS1=`echo $JUPYTERHUB_USER| sed s/-at-.*//`"@jupyterhub:\w\$ "' > /etc/profile.d/
# Enable extended file globs in bash
RUN echo 'shopt -s extglob' > /etc/profile.d/
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment