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

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

Tentative hack to force prompt

parent e49a700b
Pipeline #85414 passed with stage
in 63 minutes and 14 seconds
......@@ -12,6 +12,8 @@ RUN apt-get update && \
# Setup default prompt
RUN echo 'export PS1=`echo $JUPYTERHUB_USER| sed s/-at-.*//`"@jupyterhub:\w\$ "' > /etc/profile.d/
# Hack to override the setting of PS1 in the users's bashrc
RUN ln -s /etc/profile.d/ /etc/bash_completion
# 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