1
0

Cleanup main loop

Dieser Commit ist enthalten in:
2024-08-04 21:23:35 -04:00
Ursprung 7857080db6
Commit 9250b1b335

Datei anzeigen

@@ -506,6 +506,7 @@ interactive_header() {
done done
fi fi
fi fi
echo ""
# Ask to make our custom R library the default # Ask to make our custom R library the default
if [[ -z $R_LIBS_USER || $R_LIBS_USER != "$HOME/R/$SCRIPT_NAME" ]]; then if [[ -z $R_LIBS_USER || $R_LIBS_USER != "$HOME/R/$SCRIPT_NAME" ]]; then