pixelifytica/nixos
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Add jupyterlab config files

Browse source
This commit is contained in:
Evie Litherland-Smith 2024-01-19 09:58:49 +00:00
parent f9fd7a716e
commit db2ebfe91f
19 changed files with 1260 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
home/default.nix
View file

@ -9,8 +9,14 @@
swaylock.enable = true;
xresources.enable = true;
};
xdg.configFile."bat/themes/Catppuccin-mocha.tmTheme".source =
./Catppuccin-mocha.tmTheme;
xdg.configFile = {
"bat/themes/Catppuccin-mocha.tmTheme".source = ./Catppuccin-mocha.tmTheme;
"jupyter/jupyter_server_config.py".source =
./jupyter-config/jupyter_server_config.py;
"jupyter/jupyter_nbconvert_config.py".source =
./jupyter-config/jupyter_nbconvert_config.py;
"jupyter/lab/user-settings".source = ./jupyter-config/lab/user-settings;
};
programs = rec {
bash.enable = true;
fish.enable = true;

3
home/jupyter-config/jupyter_nbconvert_config.py Normal file
View file

@ -0,0 +1,3 @@
c.SlidesExporter.exclude_input = True
c.SlidesExporter.reveal_scroll = True
c.PDFExporter.latex_command = ["pdflatex", "{filename}"]

12
home/jupyter-config/jupyter_server_config.py Normal file
View file

@ -0,0 +1,12 @@
# c.ServerApp.port = 6702
# c.ServerApp.root_dir = '/home/elitherl/'
# c.FileCheckpoints.checkpoint_dir = c.ServerApp.root_dir + '.ipynb_checkpoints'
c.ServerApp.use_redirect_file = False
c.ServerApp.open_browser = False
# Set password for remote access login
c.PasswordIdentityProvider.hashed_password = (
"sha1:005773a53a70:a5c53a779fa0e1498ada0f8fdb48ad1fef1257ff"
)
c.PasswordIdentityProvider.password_required = True
c.PasswordIdentityProvider.allow_password_change = False

11
home/jupyter-config/lab/user-settings/@jupyterlab/application-extension/top-bar.jupyterlab-settings Normal file
View file

@ -0,0 +1,11 @@
{
"toolbar": [
{
"name": "spacer",
"command": "",
"disabled": false,
"type": "spacer",
"rank": 50
}
]
}

5
home/jupyter-config/lab/user-settings/@jupyterlab/apputils-extension/notification.jupyterlab-settings Normal file
View file

@ -0,0 +1,5 @@
{
"checkForUpdates": false,
"doNotDisturbMode": false,
"fetchNews": "false"
}

12
home/jupyter-config/lab/user-settings/@jupyterlab/apputils-extension/themes.jupyterlab-settings Normal file
View file

@ -0,0 +1,12 @@
{
"theme": "Catppuccin Mocha",
"theme-scrollbars": true,
"overrides": {
"code-font-family": "Iosevka Nerd Font",
"code-font-size": "16",
"content-font-family": "Iosevka Nerd Font",
"content-font-size1": "16",
"ui-font-family": "Iosevka Nerd Font",
"ui-font-size1": "16"
}
}

41
home/jupyter-config/lab/user-settings/@jupyterlab/cell-toolbar-extension/plugin.jupyterlab-settings Normal file
View file

@ -0,0 +1,41 @@
{
"toolbar": [
{
"name": "duplicate-cell",
"command": "notebook:duplicate-below",
"disabled": false,
"rank": 50
},
{
"name": "move-cell-up",
"command": "notebook:move-cell-up",
"disabled": false,
"rank": 50
},
{
"name": "move-cell-down",
"command": "notebook:move-cell-down",
"disabled": false,
"rank": 50
},
{
"name": "insert-cell-above",
"command": "notebook:insert-cell-above",
"disabled": false,
"rank": 50
},
{
"name": "insert-cell-below",
"command": "notebook:insert-cell-below",
"disabled": false,
"rank": 50
},
{
"name": "delete-cell",
"command": "notebook:delete-cell",
"disabled": false,
"icon": "ui-components:delete",
"rank": 50
}
]
}

8
home/jupyter-config/lab/user-settings/@jupyterlab/console-extension/tracker.jupyterlab-settings Normal file
View file

@ -0,0 +1,8 @@
{
"interactionMode": "terminal",
"showAllKernelActivity": false,
"promptCellConfig": {
"codeFolding": false,
"lineNumbers": false
}
}

10
home/jupyter-config/lab/user-settings/@jupyterlab/csvviewer-extension/csv.jupyterlab-settings Normal file
View file

@ -0,0 +1,10 @@
{
"toolbar": [
{
"name": "delimiter",
"command": "",
"disabled": false,
"rank": 10
}
]
}

10
home/jupyter-config/lab/user-settings/@jupyterlab/csvviewer-extension/tsv.jupyterlab-settings Normal file
View file

@ -0,0 +1,10 @@
{
"toolbar": [
{
"name": "delimiter",
"command": "",
"disabled": false,
"rank": 10
}
]
}

10
home/jupyter-config/lab/user-settings/@jupyterlab/filebrowser-extension/browser.jupyterlab-settings Normal file
View file

@ -0,0 +1,10 @@
{
"navigateToCurrentDirectory": true,
"useFuzzyFilter": true,
"filterDirectories": true,
"showLastModifiedColumn": true,
"showFileSizeColumn": true,
"showHiddenFiles": true,
"showFileCheckboxes": false,
"sortNotebooksFirst": true
}

34
home/jupyter-config/lab/user-settings/@jupyterlab/filebrowser-extension/widget.jupyterlab-settings Normal file
View file

@ -0,0 +1,34 @@
{
"toolbar": [
{
"name": "new-launcher",
"command": "launcher:create",
"disabled": false,
"rank": 1
},
{
"name": "new-directory",
"command": "filebrowser:create-new-directory",
"disabled": false,
"rank": 10
},
{
"name": "uploader",
"command": "",
"disabled": false,
"rank": 20
},
{
"name": "refresh",
"command": "filebrowser:refresh",
"disabled": false,
"rank": 30
},
{
"name": "fileNameSearcher",
"command": "",
"disabled": false,
"rank": 40
}
]
}

17
home/jupyter-config/lab/user-settings/@jupyterlab/htmlviewer-extension/plugin.jupyterlab-settings Normal file
View file

@ -0,0 +1,17 @@
{
"toolbar": [
{
"name": "refresh",
"command": "",
"disabled": false,
"rank": 10
},
{
"name": "trust",
"command": "",
"disabled": false,
"rank": 20
}
],
"trustByDefault": false
}

84
home/jupyter-config/lab/user-settings/@jupyterlab/notebook-extension/panel.jupyterlab-settings Normal file
View file

@ -0,0 +1,84 @@
{
"toolbar": [
{
"name": "save",
"command": "",
"disabled": false,
"rank": 10
},
{
"name": "insert",
"command": "notebook:insert-cell-below",
"disabled": false,
"icon": "ui-components:add",
"rank": 20
},
{
"name": "cut",
"command": "notebook:cut-cell",
"disabled": false,
"rank": 21
},
{
"name": "copy",
"command": "notebook:copy-cell",
"disabled": false,
"rank": 22
},
{
"name": "paste",
"command": "notebook:paste-cell-below",
"disabled": false,
"rank": 23
},
{
"name": "run",
"command": "notebook:run-cell-and-select-next",
"disabled": false,
"rank": 30
},
{
"name": "interrupt",
"command": "notebook:interrupt-kernel",
"disabled": false,
"rank": 31
},
{
"name": "restart",
"command": "notebook:restart-kernel",
"disabled": false,
"rank": 32
},
{
"name": "restart-and-run",
"command": "notebook:restart-run-all",
"disabled": false,
"rank": 33
},
{
"name": "cellType",
"command": "",
"disabled": false,
"rank": 40
},
{
"name": "spacer",
"command": "",
"disabled": false,
"type": "spacer",
"rank": 100
},
{
"name": "kernelName",
"command": "",
"disabled": false,
"rank": 1000
},
{
"name": "executionProgress",
"command": "",
"disabled": false,
"rank": 1002
}
]
}

32
home/jupyter-config/lab/user-settings/@jupyterlab/notebook-extension/tracker.jupyterlab-settings Normal file
View file

@ -0,0 +1,32 @@
{
"defaultCell": "code",
"autoStartDefaultKernel": false,
"inputHistoryScope": "global",
"kernelShutdown": false,
"scrollPastEnd": true,
"recordTiming": false,
"overscanCount": 1,
"maxNumberOutputs": 50,
"scrollHeadingToTop": false,
"showEditorForReadOnlyMarkdown": true,
"kernelStatus": {
"showOnStatusBar": false,
"showProgress": true
},
"documentWideUndoRedo": false,
"showHiddenCellsButton": true,
"renderingLayout": "default",
"sideBySideLeftMarginOverride": "10px",
"sideBySideRightMarginOverride": "10px",
"sideBySideOutputRatio": 1,
"windowingMode": "defer",
"codeCellConfig": {},
"markdownCellConfig": {
"lineNumbers": false,
"matchBrackets": false
},
"rawCellConfig": {
"lineNumbers": false,
"matchBrackets": false
}
}

957
home/jupyter-config/lab/user-settings/@jupyterlab/shortcuts-extension/shortcuts.jupyterlab-settings Normal file
View file

@ -0,0 +1,957 @@
{
"shortcuts": [
{
"command": "application:activate-next-tab",
"keys": [
"Ctrl Shift ]"
],
"selector": "body",
"args": {}
},
{
"command": "application:activate-next-tab-bar",
"keys": [
"Ctrl Shift ."
],
"selector": "body",
"args": {}
},
{
"command": "application:activate-previous-tab",
"keys": [
"Ctrl Shift ["
],
"selector": "body",
"args": {}
},
{
"command": "application:activate-previous-tab-bar",
"keys": [
"Ctrl Shift ,"
],
"selector": "body",
"args": {}
},
{
"command": "application:close",
"keys": [
"Alt W"
],
"selector": ".jp-Activity",
"args": {}
},
{
"command": "application:toggle-left-area",
"keys": [
"Accel B"
],
"selector": "body",
"args": {}
},
{
"command": "application:toggle-mode",
"keys": [
"Accel Shift D"
],
"selector": "body",
"args": {}
},
{
"command": "apputils:activate-command-palette",
"keys": [
"Accel Shift C"
],
"selector": "body",
"args": {}
},
{
"command": "apputils:display-shortcuts",
"keys": [
"Accel Shift H"
],
"selector": "body",
"args": {}
},
{
"command": "apputils:print",
"keys": [
"Accel P"
],
"selector": "body",
"args": {}
},
{
"command": "completer:invoke-console",
"keys": [
"Tab"
],
"selector": ".jp-CodeConsole-promptCell .jp-mod-completer-enabled",
"args": {}
},
{
"command": "completer:invoke-file",
"keys": [
"Tab"
],
"selector": ".jp-FileEditor .jp-mod-completer-enabled",
"args": {}
},
{
"command": "completer:invoke-notebook",
"keys": [
"Tab"
],
"selector": ".jp-Notebook.jp-mod-editMode .jp-mod-completer-enabled",
"args": {}
},
{
"command": "console:linebreak",
"keys": [
"Enter"
],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='notebook'] .jp-CodeConsole-promptCell",
"args": {}
},
{
"command": "console:linebreak",
"keys": [
"Accel Enter"
],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='terminal'] .jp-CodeConsole-promptCell",
"args": {}
},
{
"command": "console:run-forced",
"keys": [
"Shift Enter"
],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='notebook'] .jp-CodeConsole-promptCell",
"args": {}
},
{
"command": "console:run-forced",
"keys": [
"Shift Enter"
],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='terminal'] .jp-CodeConsole-promptCell",
"args": {}
},
{
"command": "console:run-unforced",
"keys": [
"Enter"
],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='terminal'] .jp-CodeConsole-promptCell",
"args": {}
},
{
"command": "debugger:continue",
"keys": [
"F9"
],
"selector": "body",
"args": {}
},
{
"command": "debugger:next",
"keys": [
"F10"
],
"selector": "body",
"args": {}
},
{
"command": "debugger:show-panel",
"keys": [
"Accel Shift E"
],
"selector": "body",
"args": {}
},
{
"command": "debugger:stepIn",
"keys": [
"F11"
],
"selector": "body",
"args": {}
},
{
"command": "debugger:stepOut",
"keys": [
"Shift F11"
],
"selector": "body",
"args": {}
},
{
"command": "debugger:terminate",
"keys": [
"Shift F9"
],
"selector": "body",
"args": {}
},
{
"command": "docmanager:save",
"keys": [
"Accel S"
],
"selector": "body",
"args": {}
},
{
"command": "docmanager:save-as",
"keys": [
"Accel Shift S"
],
"selector": "body",
"args": {}
},
{
"command": "documentsearch:end",
"keys": [
"Escape"
],
"selector": ".jp-mod-searchable",
"args": {}
},
{
"command": "documentsearch:highlightNext",
"keys": [
"Accel G"
],
"selector": ".jp-mod-searchable",
"args": {}
},
{
"command": "documentsearch:highlightPrevious",
"keys": [
"Accel Shift G"
],
"selector": ".jp-mod-searchable",
"args": {}
},
{
"command": "documentsearch:start",
"keys": [
"Accel F"
],
"selector": ".jp-mod-searchable",
"args": {}
},
{
"command": "editmenu:redo",
"keys": [
"Accel Shift Z"
],
"selector": "[data-jp-undoer]",
"args": {}
},
{
"command": "editmenu:undo",
"keys": [
"Accel Z"
],
"selector": "[data-jp-undoer]",
"args": {}
},
{
"command": "extensionmanager:show-panel",
"keys": [
"Accel Shift X"
],
"selector": "body",
"args": {}
},
{
"command": "filebrowser:copy",
"keys": [
"Accel C"
],
"selector": ".jp-DirListing-content .jp-DirListing-itemText",
"args": {}
},
{
"command": "filebrowser:cut",
"keys": [
"Accel X"
],
"selector": ".jp-DirListing-content .jp-DirListing-itemText",
"args": {}
},
{
"command": "filebrowser:delete",
"keys": [
"Delete"
],
"selector": ".jp-DirListing-content .jp-DirListing-itemText",
"args": {}
},
{
"command": "filebrowser:duplicate",
"keys": [
"Accel D"
],
"selector": ".jp-DirListing-content .jp-DirListing-itemText",
"args": {}
},
{
"command": "filebrowser:go-up",
"keys": [
"Backspace"
],
"selector": ".jp-DirListing:focus",
"args": {}
},
{
"command": "filebrowser:go-up",
"keys": [
"Backspace"
],
"selector": ".jp-DirListing-content .jp-DirListing-itemText",
"args": {}
},
{
"command": "filebrowser:paste",
"keys": [
"Accel V"
],
"selector": ".jp-DirListing-content .jp-DirListing-itemText",
"args": {}
},
{
"command": "filebrowser:rename",
"keys": [
"F2"
],
"selector": ".jp-DirListing-content .jp-DirListing-itemText",
"args": {}
},
{
"command": "filebrowser:toggle-main",
"keys": [
"Accel Shift F"
],
"selector": "body",
"args": {}
},
{
"command": "filemenu:close-and-cleanup",
"keys": [
"Ctrl Shift Q"
],
"selector": ".jp-Activity",
"args": {}
},
{
"command": "imageviewer:flip-horizontal",
"keys": [
"H"
],
"selector": ".jp-ImageViewer",
"args": {}
},
{
"command": "imageviewer:flip-vertical",
"keys": [
"V"
],
"selector": ".jp-ImageViewer",
"args": {}
},
{
"command": "imageviewer:invert-colors",
"keys": [
"I"
],
"selector": ".jp-ImageViewer",
"args": {}
},
{
"command": "imageviewer:reset-image",
"keys": [
"0"
],
"selector": ".jp-ImageViewer",
"args": {}
},
{
"command": "imageviewer:rotate-clockwise",
"keys": [
"]"
],
"selector": ".jp-ImageViewer",
"args": {}
},
{
"command": "imageviewer:rotate-counterclockwise",
"keys": [
"["
],
"selector": ".jp-ImageViewer",
"args": {}
},
{
"command": "imageviewer:zoom-in",
"keys": [
"="
],
"selector": ".jp-ImageViewer",
"args": {}
},
{
"command": "imageviewer:zoom-out",
"keys": [
"-"
],
"selector": ".jp-ImageViewer",
"args": {}
},
{
"command": "inspector:close",
"keys": [
"Accel I"
],
"selector": "body[data-jp-inspector='open']",
"args": {}
},
{
"command": "inspector:open",
"keys": [
"Accel I"
],
"selector": "body",
"args": {}
},
{
"command": "kernelmenu:interrupt",
"keys": [
"I",
"I"
],
"selector": "[data-jp-kernel-user]:focus",
"args": {}
},
{
"command": "kernelmenu:restart",
"keys": [
"0",
"0"
],
"selector": "[data-jp-kernel-user]:focus",
"args": {}
},
{
"command": "launcher:create",
"keys": [
"Accel Shift L"
],
"selector": "body",
"args": {}
},
{
"command": "notebook:change-cell-to-code",
"keys": [
"Y"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:change-cell-to-heading-1",
"keys": [
"1"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:change-cell-to-heading-2",
"keys": [
"2"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:change-cell-to-heading-3",
"keys": [
"3"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:change-cell-to-heading-4",
"keys": [
"4"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:change-cell-to-heading-5",
"keys": [
"5"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:change-cell-to-heading-6",
"keys": [
"6"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:change-cell-to-markdown",
"keys": [
"M"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:change-cell-to-raw",
"keys": [
"R"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:collapse-all-headings",
"keys": [
"Ctrl Shift ArrowLeft"
],
"selector": ".jp-Notebook.jp-mod-commandMode",
"args": {}
},
{
"command": "notebook:copy-cell",
"keys": [
"C"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:cut-cell",
"keys": [
"X"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:delete-cell",
"keys": [
"D",
"D"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:enter-command-mode",
"keys": [
"Escape"
],
"selector": ".jp-Notebook.jp-mod-editMode",
"args": {}
},
{
"command": "notebook:enter-command-mode",
"keys": [
"Ctrl M"
],
"selector": ".jp-Notebook.jp-mod-editMode",
"args": {}
},
{
"command": "notebook:enter-edit-mode",
"keys": [
"Enter"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:expand-all-headings",
"keys": [
"Ctrl Shift ArrowRight"
],
"selector": ".jp-Notebook.jp-mod-commandMode",
"args": {}
},
{
"command": "notebook:extend-marked-cells-above",
"keys": [
"Shift ArrowUp"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:extend-marked-cells-above",
"keys": [
"Shift K"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:extend-marked-cells-below",
"keys": [
"Shift ArrowDown"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:extend-marked-cells-below",
"keys": [
"Shift J"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:extend-marked-cells-bottom",
"keys": [
"Shift End"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:extend-marked-cells-top",
"keys": [
"Shift Home"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:insert-cell-above",
"keys": [
"A"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:insert-cell-below",
"keys": [
"B"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:insert-heading-above",
"keys": [
"Shift A"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:insert-heading-below",
"keys": [
"Shift B"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:merge-cell-above",
"keys": [
"Ctrl Backspace"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:merge-cell-below",
"keys": [
"Ctrl Shift M"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:merge-cells",
"keys": [
"Shift M"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:move-cell-down",
"keys": [
"Ctrl Shift ArrowDown"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:move-cell-up",
"keys": [
"Ctrl Shift ArrowUp"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:move-cursor-down",
"keys": [
"ArrowDown"
],
"selector": "[data-jp-traversable]:focus",
"args": {}
},
{
"command": "notebook:move-cursor-down",
"keys": [
"J"
],
"selector": "[data-jp-traversable]:focus",
"args": {}
},
{
"command": "notebook:move-cursor-heading-above-or-collapse",
"keys": [
"ArrowLeft"
],
"selector": ".jp-Notebook:focus.jp-mod-commandMode",
"args": {}
},
{
"command": "notebook:move-cursor-heading-below-or-expand",
"keys": [
"ArrowRight"
],
"selector": ".jp-Notebook:focus.jp-mod-commandMode",
"args": {}
},
{
"command": "notebook:move-cursor-up",
"keys": [
"ArrowUp"
],
"selector": "[data-jp-traversable]:focus",
"args": {}
},
{
"command": "notebook:move-cursor-up",
"keys": [
"K"
],
"selector": "[data-jp-traversable]:focus",
"args": {}
},
{
"command": "notebook:paste-cell-below",
"keys": [
"V"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:redo-cell-action",
"keys": [
"Shift Z"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:run-cell",
"keys": [
"Accel Enter"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:run-cell",
"keys": [
"Accel Enter"
],
"selector": ".jp-Notebook.jp-mod-editMode",
"args": {}
},
{
"command": "notebook:run-cell-and-insert-below",
"keys": [
"Alt Enter"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:run-cell-and-insert-below",
"keys": [
"Alt Enter"
],
"selector": ".jp-Notebook.jp-mod-editMode",
"args": {}
},
{
"command": "notebook:run-cell-and-select-next",
"keys": [
"Shift Enter"
],
"selector": ".jp-Notebook.jp-mod-editMode",
"args": {}
},
{
"command": "notebook:select-all",
"keys": [
"Accel A"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:split-cell-at-cursor",
"keys": [
"Ctrl Shift -"
],
"selector": ".jp-Notebook.jp-mod-editMode",
"args": {}
},
{
"command": "notebook:toggle-render-side-by-side-current",
"keys": [
"Shift R"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "notebook:undo-cell-action",
"keys": [
"Z"
],
"macKeys": [
"Ctrl Enter"
],
"selector": ".jp-Notebook:focus",
"args": {}
},
{
"command": "property-inspector:show-panel",
"keys": [
"Accel Shift U"
],
"macKeys": [
"Ctrl Enter"
],
"selector": "body",
"args": {}
},
{
"command": "runmenu:run",
"keys": [
"Shift Enter"
],
"selector": "[data-jp-code-runner]",
"args": {}
},
{
"command": "running:show-panel",
"keys": [
"Accel Shift B"
],
"selector": "body",
"args": {}
},
{
"command": "settingeditor:open",
"keys": [
"Accel ,"
],
"selector": "body",
"args": {}
},
{
"command": "settingeditor:save",
"keys": [
"Accel S"
],
"selector": ".jp-SettingEditor",
"args": {}
},
{
"command": "tabsmenu:activate-previously-used-tab",
"keys": [
"Accel Shift '"
],
"selector": "body",
"args": {}
},
{
"command": "toc:show-panel",
"keys": [
"Accel Shift K"
],
"selector": "body",
"args": {}
},
{
"command": "tooltip:dismiss",
"keys": [
"Escape"
],
"selector": "body.jp-mod-tooltip .jp-Notebook",
"args": {}
},
{
"command": "tooltip:dismiss",
"keys": [
"Escape"
],
"selector": "body.jp-mod-tooltip .jp-CodeConsole-promptCell",
"args": {}
},
{
"command": "tooltip:launch-console",
"keys": [
"Shift Tab"
],
"selector": ".jp-CodeConsole-promptCell .jp-InputArea-editor:not(.jp-mod-has-primary-selection):not(.jp-mod-in-leading-whitespace)",
"args": {}
},
{
"command": "tooltip:launch-file",
"keys": [
"Shift Tab"
],
"selector": ".jp-FileEditor .jp-CodeMirrorEditor:not(.jp-mod-has-primary-selection):not(.jp-mod-in-leading-whitespace)",
"args": {}
},
{
"command": "tooltip:launch-notebook",
"keys": [
"Shift Tab"
],
"selector": ".jp-Notebook.jp-mod-editMode .jp-InputArea-editor:not(.jp-mod-has-primary-selection):not(.jp-mod-in-leading-whitespace):not(.jp-mod-completer-active)",
"args": {}
},
{
"command": "viewmenu:line-numbering",
"keys": [
"Shift L"
],
"selector": ".jp-Notebook.jp-mod-commandMode :focus:not(:read-write)",
"args": {}
}
]
}

4
home/jupyter-config/lab/user-settings/catppuccin_jupyterlab/plugin.jupyterlab-settings Normal file
View file

@ -0,0 +1,4 @@
{
"brandColor": "lavender",
"accentColor": "sky"
}

1
home/jupyter-config/lab/workspaces/default-37a8.jupyterlab-workspace Normal file
View file

@ -0,0 +1 @@
{"data":{"layout-restorer:data":{"main":{"dock":{"type":"tab-area","currentIndex":0,"widgets":[]}},"down":{"size":0,"widgets":[]},"left":{"collapsed":false,"visible":true,"current":"filebrowser","widgets":["filebrowser","running-sessions","@jupyterlab/toc:plugin","extensionmanager.main-view"]},"right":{"collapsed":true,"visible":true,"widgets":["jp-property-inspector","debugger-sidebar"]},"relativeSizes":[0.2102140161034704,0.7897859838965297,0],"top":{"simpleVisibility":true}},"@jupyterlab/settingeditor-extension:form-ui":{"sizes":[0.13349514563106796,0.866504854368932],"container":{"plugin":"@jupyterlab/cell-toolbar-extension:plugin","sizes":[0.5,0.5]}}},"metadata":{"id":"default"}}

1
home/jupyter-config/migrated Normal file
View file

@ -0,0 +1 @@
2024-01-17T09:44:58.834026+00:00