We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d6d0892 commit 1565aaeCopy full SHA for 1565aae
personal-init.sh
@@ -1,9 +1,8 @@
1
#!/bin/bash
2
-
3
# Set Jupyter autosave off
4
SETTINGS_DIR="$HOME/work/.jupyter/config/lab/user-settings/@jupyterlab/docmanager-extension"
5
SETTINGS_FILE="$SETTINGS_DIR/plugin.jupyterlab-settings"
6
+mkdir -p "$SETTINGS_DIR"
7
cat > "$SETTINGS_FILE" <<EOF
8
{
9
"autosave": false
0 commit comments