some more adjustments, tried to get vs code to work

This commit is contained in:
2025-05-21 17:30:31 +02:00
parent d91ebe083d
commit b24d0f466a
19 changed files with 259 additions and 107 deletions

View File

@@ -25,15 +25,28 @@
# typst
myriad-dreamin.tinymist
] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
{
name = "jupyter-hub";
publisher = "ms-toolsai";
version = "2024.10.1002821224";
sha256 = "sha256-3YF91Wgw5je040xPpLHPdxQIEAetpmDz6La7bw2JM+g=";
}
];
# };
keybindings = [
# comment/uncomment line
{
key = "ctrl+#";
command = "editor.action.commentLine";
when = "editorTextFocus";
}
# run code cell in jupyter
{
key = "ctrl+enter";
command = "jupyter.runCell";
when = "editorTextFocus && editorHasSelection && jupyter.notebookEditorFocused";
}
];
userSettings = {