Commit c26781ab authored by Romain's avatar Romain Committed by GitHub

Merge branch 'master' into #1077

parents e10f2d13 3b1f4f5e
...@@ -93,7 +93,7 @@ if [ $(id -u) == 0 ] ; then ...@@ -93,7 +93,7 @@ if [ $(id -u) == 0 ] ; then
fi fi
# Add $CONDA_DIR/bin to sudo secure_path # Add $CONDA_DIR/bin to sudo secure_path
sed -r "s#Defaults\s+secure_path=\"([^\"]+)\"#Defaults secure_path=\"\1:$CONDA_DIR/bin\"#" /etc/sudoers | grep secure_path > /etc/sudoers.d/path sed -r "s#Defaults\s+secure_path\s*=\s*\"?([^\"]+)\"?#Defaults secure_path=\"\1:$CONDA_DIR/bin\"#" /etc/sudoers | grep secure_path > /etc/sudoers.d/path
# Exec the command as NB_USER with the PATH and the rest of # Exec the command as NB_USER with the PATH and the rest of
# the environment preserved # the environment preserved
......
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