diff --git a/scripts/install_sysdeps.sh b/scripts/install_sysdeps.sh index ff7748f..5e162ea 100644 --- a/scripts/install_sysdeps.sh +++ b/scripts/install_sysdeps.sh @@ -59,6 +59,7 @@ echo "PATH=$PATH" >> /etc/profile if [ ! -f /init ] then { echo "#!/bin/bash" > /init + echo "julia" >> /init chmod +x /init } fi