diff --git a/scripts/install_sysdeps.sh b/scripts/install_sysdeps.sh index 2ddc724..5e162ea 100644 --- a/scripts/install_sysdeps.sh +++ b/scripts/install_sysdeps.sh @@ -58,7 +58,8 @@ echo "PATH=$PATH" >> /etc/profile # Set default initializer if unavailable if [ ! -f /init ] then { - echo "sh" > /init + echo "#!/bin/bash" > /init + echo "julia" >> /init chmod +x /init } fi