Skip to content
Snippets Groups Projects
Verified Commit 204c5467 authored by Olivier Benz's avatar Olivier Benz
Browse files

Fix script 12-mojo.sh

parent 4b731705
No related branches found
No related tags found
No related merge requests found
......@@ -4,6 +4,8 @@
set -e
MODULAR_HOME_BAK="$MODULAR_HOME"
# Append the user's modular bin dir to PATH
if [ "$(id -u)" == 0 ] ; then
if ! grep -q "user's modular bin dir" "/home/$NB_USER${DOMAIN:+@$DOMAIN}/.bashrc"; then
......@@ -49,6 +51,9 @@ else
fi
fi
MODULAR_HOME="$MODULAR_HOME_BAK"
unset MODULAR_HOME_BAK
# MAX SDK: Evaluate and set version
if [ "$(id -u)" == 0 ] ; then
if [ "${MOJO_VERSION}" = "nightly" ]; then
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment