vscode: nixify, fix rust-analyzer
This commit is contained in:
parent
152ac1afd0
commit
b864d7ce0e
2 changed files with 347 additions and 612 deletions
3
home.nix
3
home.nix
|
|
@ -47,7 +47,6 @@ in
|
|||
cargo
|
||||
clippy
|
||||
rustc
|
||||
rust-analyzer
|
||||
rustfmt
|
||||
|
||||
idris2
|
||||
|
|
@ -102,7 +101,7 @@ in
|
|||
enableUpdateCheck = false;
|
||||
# i prefer to let vscode manage stuff
|
||||
mutableExtensionsDir = true;
|
||||
userSettings = import ./vscode-settings.nix;
|
||||
userSettings = (import ./vscode-settings.nix) { rust-analyzer = pkgs.rust-analyzer; };
|
||||
};
|
||||
|
||||
programs.neovim = {
|
||||
|
|
|
|||
|
|
@ -1,613 +1,349 @@
|
|||
builtins.fromJSON
|
||||
''
|
||||
{ rust-analyzer }:
|
||||
{
|
||||
"workbench.editor.enablePreviewFromQuickOpen": false,
|
||||
"rust-analyzer.checkOnSave.command": "clippy",
|
||||
"workbench.editor.enablePreview": false,
|
||||
"[rust]": {
|
||||
"editor.semanticHighlighting.enabled": true,
|
||||
"editor.defaultFormatter": "rust-lang.rust-analyzer"
|
||||
},
|
||||
"[latex]": {
|
||||
"editor.defaultFormatter": "nickfode.latex-formatter"
|
||||
},
|
||||
"[python]": {
|
||||
"editor.formatOnType": true
|
||||
},
|
||||
"[makefile]": {
|
||||
"editor.insertSpaces": false
|
||||
},
|
||||
"[c]": {
|
||||
"editor.insertSpaces": false,
|
||||
"editor.tabSize": 8,
|
||||
"editor.useTabStops": true,
|
||||
"editor.formatOnSave": false
|
||||
},
|
||||
"editor.renderWhitespace": "selection",
|
||||
"[java]": {
|
||||
"editor.suggest.snippetsPreventQuickSuggestions": false
|
||||
},
|
||||
"editor.formatOnSave": true,
|
||||
"editor.acceptSuggestionOnCommitCharacter": false,
|
||||
"editor.linkedEditing": true,
|
||||
"git.autofetch": true,
|
||||
"files.eol": "\n",
|
||||
"vim.handleKeys": {
|
||||
"<C-t>": false
|
||||
},
|
||||
"vim.leader": ";",
|
||||
"vim.normalModeKeyBindings": [
|
||||
{
|
||||
"before": [
|
||||
"j"
|
||||
],
|
||||
"after": [
|
||||
"g",
|
||||
"j"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"k"
|
||||
],
|
||||
"after": [
|
||||
"g",
|
||||
"k"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"0"
|
||||
],
|
||||
"after": [
|
||||
"^"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"t",
|
||||
"j"
|
||||
],
|
||||
"commands": [
|
||||
"workbench.action.nextEditor"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"t",
|
||||
"k"
|
||||
],
|
||||
"commands": [
|
||||
"workbench.action.previousEditor"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"t",
|
||||
"w"
|
||||
],
|
||||
"commands": [
|
||||
"workbench.action.closeActiveEditor"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"f",
|
||||
"f"
|
||||
],
|
||||
"commands": [
|
||||
"workbench.action.quickOpen"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"f",
|
||||
"e"
|
||||
],
|
||||
"commands": [
|
||||
"workbench.action.showAllEditorsByMostRecentlyUsed"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"f",
|
||||
"s"
|
||||
],
|
||||
"commands": [
|
||||
"workbench.action.gotoSymbol"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"z"
|
||||
],
|
||||
"commands": [
|
||||
"workbench.action.toggleZenMode"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"w"
|
||||
],
|
||||
"commands": [
|
||||
":w"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"q"
|
||||
],
|
||||
"commands": [
|
||||
":q"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"d"
|
||||
],
|
||||
"commands": [
|
||||
"editor.action.showHover"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"f"
|
||||
],
|
||||
"commands": [
|
||||
"editor.action.quickFix"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"t"
|
||||
],
|
||||
"commands": [
|
||||
"editor.action.peekTypeDefinition"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"g"
|
||||
],
|
||||
"commands": [
|
||||
"editor.action.revealDefinition"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"C_Cpp.clang_format_fallbackStyle" = "WebKit";
|
||||
"[c]" = {
|
||||
"editor.formatOnSave" = false;
|
||||
"editor.insertSpaces" = false;
|
||||
"editor.tabSize" = 8;
|
||||
"editor.useTabStops" = true;
|
||||
};
|
||||
"[css]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
|
||||
"[handlebars]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
|
||||
"[haskell]" = { "editor.defaultFormatter" = "haskell.haskell"; };
|
||||
"[html]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
|
||||
"[java]" = { "editor.suggest.snippetsPreventQuickSuggestions" = false; };
|
||||
"[javascript]" = {
|
||||
"editor.defaultFormatter" = null;
|
||||
"editor.formatOnSave" = true;
|
||||
};
|
||||
"[javascriptreact]" = {
|
||||
"editor.defaultFormatter" = "esbenp.prettier-vscode";
|
||||
};
|
||||
"[json]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
|
||||
"[jsonc]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
|
||||
"[latex]" = { "editor.defaultFormatter" = "nickfode.latex-formatter"; };
|
||||
"[makefile]" = { "editor.insertSpaces" = false; };
|
||||
"[markdown]" = {
|
||||
"editor.defaultFormatter" = "esbenp.prettier-vscode";
|
||||
"editor.formatOnSave" = false;
|
||||
};
|
||||
"[python]" = { "editor.formatOnType" = true; };
|
||||
"[rust]" = {
|
||||
"editor.defaultFormatter" = "rust-lang.rust-analyzer";
|
||||
"editor.semanticHighlighting.enabled" = true;
|
||||
};
|
||||
"[typescript]" = {
|
||||
"editor.defaultFormatter" = "denoland.vscode-deno";
|
||||
"editor.formatOnSave" = true;
|
||||
};
|
||||
"[typescriptreact]" = {
|
||||
"editor.defaultFormatter" = "esbenp.prettier-vscode";
|
||||
};
|
||||
"calva.highlight.matchedBracketStyle" = { };
|
||||
"calva.paredit.defaultKeyMap" = "original";
|
||||
"calva.prettyPrintingOptions" = {
|
||||
enabled = true;
|
||||
maxLength = 50;
|
||||
printEngine = "pprint";
|
||||
width = 120;
|
||||
};
|
||||
"dafny.verificationTimeLimit" = 3600;
|
||||
"dafny.verificationVirtualCores" = 0;
|
||||
"debug.internalConsoleOptions" = "neverOpen";
|
||||
"docker.commands.attach" =
|
||||
"$${config:docker.dockerPath} exec -it $${containerId} $${shellCommand}";
|
||||
"editor.acceptSuggestionOnCommitCharacter" = false;
|
||||
"editor.autoIndent" = "advanced";
|
||||
"editor.bracketPairColorization.enabled" = true;
|
||||
"editor.cursorBlinking" = "solid";
|
||||
"editor.cursorSmoothCaretAnimation" = "on";
|
||||
"editor.cursorStyle" = "line";
|
||||
"editor.defaultFormatter" = "denoland.vscode-deno";
|
||||
"editor.fontFamily" = "JetBrainsMono Nerd Font";
|
||||
"editor.fontLigatures" = true;
|
||||
"editor.fontSize" = 16;
|
||||
"editor.formatOnSave" = true;
|
||||
"editor.inlayHints.enabled" = "offUnlessPressed";
|
||||
"editor.inlineSuggest.enabled" = true;
|
||||
"editor.insertSpaces" = true;
|
||||
"editor.lineNumbers" = "on";
|
||||
"editor.linkedEditing" = true;
|
||||
"editor.minimap.enabled" = false;
|
||||
"editor.minimap.showSlider" = "always";
|
||||
"editor.quickSuggestions" = {
|
||||
comments = "off";
|
||||
other = "on";
|
||||
strings = "on";
|
||||
};
|
||||
"editor.renderWhitespace" = "selection";
|
||||
"editor.rulers" = [ 80 100 ];
|
||||
"editor.stickyScroll.enabled" = true;
|
||||
"editor.suggest.localityBonus" = true;
|
||||
"editor.suggest.showStatusBar" = true;
|
||||
"editor.tabSize" = 4;
|
||||
"editor.unicodeHighlight.invisibleCharacters" = false;
|
||||
"editor.wordSeparators" = ''/\()"':,;<>~!@#$$%^&*|+=[]{}`?-'';
|
||||
"editor.wordWrap" = "off";
|
||||
"errorLens.excludeBySource" = [ "eslint(eqeqeq)" "ts(2551)" ];
|
||||
"files.associations" = {
|
||||
"*.h" = "c";
|
||||
"*.pl" = "prolog";
|
||||
};
|
||||
"files.eol" = "\n";
|
||||
"files.insertFinalNewline" = true;
|
||||
"files.watcherExclude" = {
|
||||
"**/.git/objects/**" = true;
|
||||
"**/.git/subtree-cache/**" = true;
|
||||
"**/.hg/store/**" = true;
|
||||
"**/node_modules/*/**" = true;
|
||||
"/target/**" = true;
|
||||
};
|
||||
"git.autofetch" = true;
|
||||
"git.confirmSync" = false;
|
||||
"git.enableSmartCommit" = true;
|
||||
"github.copilot.enable" = {
|
||||
"*" = true;
|
||||
markdown = false;
|
||||
plaintext = false;
|
||||
yaml = true;
|
||||
};
|
||||
"go.useLanguageServer" = true;
|
||||
"gruvboxMaterial.italicComments" = false;
|
||||
"haskell.formattingProvider" = "stylish-haskell";
|
||||
"haskell.ghcupExecutablePath" = "/home/mbk/.ghcup/bin/ghcup";
|
||||
"haskell.manageHLS" = "GHCup";
|
||||
"haskell.plugin.tactics.config.auto_gas" = 8;
|
||||
"idris.numbersOfContinuousTypechecking" = 50;
|
||||
"idris.warnPartial" = true;
|
||||
"latex-workshop.view.pdf.viewer" = "tab";
|
||||
"markdown.editor.pasteUrlAsFormattedLink.enabled" = "smart";
|
||||
"ocaml.server.extendedHover" = true;
|
||||
"oneDarkPro.italic" = false;
|
||||
"prettier.arrowParens" = "avoid";
|
||||
"prettier.tabWidth" = 4;
|
||||
"remote.extensionKind" = { "pub.name" = [ "ui" ]; };
|
||||
"ruby.codeCompletion" = "rcodetools";
|
||||
"ruby.format" = "prettier";
|
||||
"ruby.intellisense" = "rubyLocate";
|
||||
"rust-analyzer.server.path" = "${rust-analyzer}/bin/rust-analyzer";
|
||||
"rust-analyzer.checkOnSave.command" = "clippy";
|
||||
"rust-analyzer.checkOnSave.extraArgs" = [ "--" "-W" "clippy::pedantic" ];
|
||||
"rust-analyzer.debug.openDebugPane" = true;
|
||||
"rust-analyzer.inlayHints.closureReturnTypeHints.enable" = "always";
|
||||
"rust-analyzer.inlayHints.lifetimeElisionHints.enable" = "always";
|
||||
"rust-analyzer.inlayHints.lifetimeElisionHints.useParameterNames" = true;
|
||||
"rust-analyzer.inlayHints.maxLength" = null;
|
||||
"rust-analyzer.inlayHints.reborrowHints.enable" = "always";
|
||||
"rust-analyzer.lens.debug" = false;
|
||||
"rust-analyzer.lens.enable" = false;
|
||||
"rust-analyzer.lens.implementations" = false;
|
||||
"rust-analyzer.lens.run" = false;
|
||||
"security.workspace.trust.untrustedFiles" = "open";
|
||||
"settingsSync.ignoredExtensions" = [ ];
|
||||
"syntax.highlightLanguages" = [
|
||||
"c"
|
||||
],
|
||||
"commands": [
|
||||
"rust-analyzer.run"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"r",
|
||||
"n"
|
||||
],
|
||||
"commands": [
|
||||
"editor.action.rename"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<c-j>"
|
||||
],
|
||||
"commands": [
|
||||
"editor.action.marker.nextInFiles"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<c-k>"
|
||||
],
|
||||
"commands": [
|
||||
"editor.action.marker.prevInFiles"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"p",
|
||||
"c"
|
||||
],
|
||||
"commands": [
|
||||
"picat.run.document"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"h"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.slurpSexpBackward"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"l"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.slurpSexpForward"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"w",
|
||||
"p"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.wrapAroundParens"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"w",
|
||||
"b"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.wrapAroundSquare"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"w",
|
||||
"c"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.wrapAroundCurly"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"w",
|
||||
"p"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.wrapAroundParens"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"b",
|
||||
"h"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.barfSexpBackward"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"b",
|
||||
"l"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.barfSexpForward"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"t"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.transpose"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"t"
|
||||
],
|
||||
"commands": [
|
||||
"paredit.transpose"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"e"
|
||||
],
|
||||
"commands": [
|
||||
"calva.evaluateCurrentTopLevelForm"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"s"
|
||||
],
|
||||
"commands": [
|
||||
"calva.evaluateSelection"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"f"
|
||||
],
|
||||
"commands": [
|
||||
"calva.sendCurrentFormToOutputWindow"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"s",
|
||||
"o"
|
||||
],
|
||||
"commands": [
|
||||
"calva.showOutputWindow"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"i",
|
||||
"l"
|
||||
],
|
||||
"commands": [
|
||||
"idris.make-lemma"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"i",
|
||||
"f",
|
||||
"h"
|
||||
],
|
||||
"commands": [
|
||||
"idris.proof-search"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"i",
|
||||
"c",
|
||||
"s"
|
||||
],
|
||||
"commands": [
|
||||
"idris.case-split"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"i",
|
||||
"t",
|
||||
"c"
|
||||
],
|
||||
"commands": [
|
||||
"idris.typecheck"
|
||||
]
|
||||
},
|
||||
{
|
||||
"before": [
|
||||
"<leader>",
|
||||
"i",
|
||||
"m"
|
||||
],
|
||||
"commands": [
|
||||
"idris.add-clause"
|
||||
]
|
||||
}
|
||||
],
|
||||
"vim.useSystemClipboard": true,
|
||||
"vim.easymotion": true,
|
||||
"vim.highlightedyank.enable": true,
|
||||
"vim.smartRelativeLine": true,
|
||||
"[jsonc]": {
|
||||
"editor.defaultFormatter": "esbenp.prettier-vscode"
|
||||
},
|
||||
"editor.fontFamily": "JetBrainsMono Nerd Font",
|
||||
"editor.fontLigatures": true,
|
||||
"git.confirmSync": false,
|
||||
"terminal.integrated.scrollback": 100000,
|
||||
"go.useLanguageServer": true,
|
||||
"[javascript]": {
|
||||
"editor.defaultFormatter": null,
|
||||
"editor.formatOnSave": true
|
||||
},
|
||||
"terminal.integrated.commandsToSkipShell": [
|
||||
"-workbench.action.quickOpen"
|
||||
],
|
||||
"[typescript]": {
|
||||
"editor.formatOnSave": true,
|
||||
"editor.defaultFormatter": "denoland.vscode-deno"
|
||||
},
|
||||
"[json]": {
|
||||
"editor.defaultFormatter": "esbenp.prettier-vscode"
|
||||
},
|
||||
"editor.rulers": [
|
||||
80,
|
||||
100
|
||||
],
|
||||
"git.enableSmartCommit": true,
|
||||
"typescript.updateImportsOnFileMove.enabled": "always",
|
||||
"[typescriptreact]": {
|
||||
"editor.defaultFormatter": "esbenp.prettier-vscode"
|
||||
},
|
||||
"[html]": {
|
||||
"editor.defaultFormatter": "esbenp.prettier-vscode"
|
||||
},
|
||||
"terminal.integrated.tabs.enabled": true,
|
||||
"terminal.integrated.defaultProfile.linux": "fish",
|
||||
"editor.tabSize": 4,
|
||||
"editor.cursorStyle": "line",
|
||||
"editor.lineNumbers": "on",
|
||||
"editor.wordSeparators": "/\\()\"':,;<>~!@#$$%^&*|+=[]{}`?-",
|
||||
"editor.wordWrap": "off",
|
||||
"window.restoreWindows": "none",
|
||||
"editor.quickSuggestions": {
|
||||
"other": "on",
|
||||
"comments": "off",
|
||||
"strings": "on"
|
||||
},
|
||||
"window.autoDetectColorScheme": true,
|
||||
"files.watcherExclude": {
|
||||
"**/.git/objects/**": true,
|
||||
"**/.git/subtree-cache/**": true,
|
||||
"**/node_modules/*/**": true,
|
||||
"**/.hg/store/**": true,
|
||||
"/target/**": true
|
||||
},
|
||||
"editor.inlineSuggest.enabled": true,
|
||||
"github.copilot.enable": {
|
||||
"*": true,
|
||||
"yaml": true,
|
||||
"plaintext": false,
|
||||
"markdown": false
|
||||
},
|
||||
"editor.bracketPairColorization.enabled": true,
|
||||
"security.workspace.trust.untrustedFiles": "open",
|
||||
"editor.inlayHints.enabled": "offUnlessPressed",
|
||||
"rust-analyzer.lens.run": false,
|
||||
"rust-analyzer.lens.debug": false,
|
||||
"rust-analyzer.lens.implementations": false,
|
||||
"editor.cursorSmoothCaretAnimation": "on",
|
||||
"editor.cursorBlinking": "solid",
|
||||
"workbench.iconTheme": "gruvbox-material-icon-theme",
|
||||
"window.titleBarStyle": "custom",
|
||||
"workbench.layoutControl.enabled": true,
|
||||
"workbench.layoutControl.type": "both",
|
||||
"files.insertFinalNewline": true,
|
||||
"editor.insertSpaces": true,
|
||||
"oneDarkPro.italic": false,
|
||||
"latex-workshop.view.pdf.viewer": "tab",
|
||||
"[handlebars]": {
|
||||
"editor.defaultFormatter": "esbenp.prettier-vscode"
|
||||
},
|
||||
"editor.fontSize": 16,
|
||||
"settingsSync.ignoredExtensions": [],
|
||||
"syntax.highlightLanguages": [
|
||||
"c",
|
||||
"cpp",
|
||||
"python",
|
||||
"typescript",
|
||||
"typescriptreact",
|
||||
"javascript",
|
||||
"go",
|
||||
"rust",
|
||||
"php",
|
||||
"ruby",
|
||||
"shellscript",
|
||||
"ocaml",
|
||||
"cpp"
|
||||
"python"
|
||||
"typescript"
|
||||
"typescriptreact"
|
||||
"javascript"
|
||||
"go"
|
||||
"rust"
|
||||
"php"
|
||||
"ruby"
|
||||
"shellscript"
|
||||
"ocaml"
|
||||
"lua"
|
||||
],
|
||||
"editor.suggest.localityBonus": true,
|
||||
"[css]": {
|
||||
"editor.defaultFormatter": "esbenp.prettier-vscode"
|
||||
},
|
||||
"[markdown]": {
|
||||
"editor.defaultFormatter": "esbenp.prettier-vscode",
|
||||
"editor.formatOnSave": false
|
||||
},
|
||||
"prettier.arrowParens": "avoid",
|
||||
"prettier.tabWidth": 4,
|
||||
"rust-analyzer.lens.enable": false,
|
||||
"workbench.startupEditor": "none",
|
||||
"workbench.editorAssociations": {
|
||||
"*.jpg": "imagePreview.previewEditor"
|
||||
},
|
||||
"gruvboxMaterial.italicComments": false,
|
||||
"rust-analyzer.inlayHints.maxLength": null,
|
||||
"rust-analyzer.debug.openDebugPane": true,
|
||||
"rust-analyzer.inlayHints.closureReturnTypeHints.enable": "always",
|
||||
"rust-analyzer.inlayHints.lifetimeElisionHints.enable": "always",
|
||||
"rust-analyzer.inlayHints.lifetimeElisionHints.useParameterNames": true,
|
||||
"rust-analyzer.inlayHints.reborrowHints.enable": "always",
|
||||
"rust-analyzer.checkOnSave.extraArgs": [
|
||||
"--",
|
||||
"-W",
|
||||
"clippy::pedantic"
|
||||
],
|
||||
"editor.unicodeHighlight.invisibleCharacters": false,
|
||||
"remote.extensionKind": {
|
||||
"pub.name": [
|
||||
"ui"
|
||||
]
|
||||
},
|
||||
"docker.commands.attach": "$${config:docker.dockerPath} exec -it $${containerId} $${shellCommand}",
|
||||
"C_Cpp.clang_format_fallbackStyle": "WebKit",
|
||||
"editor.stickyScroll.enabled": true,
|
||||
"workbench.colorTheme": "One Dark Pro Darker",
|
||||
"files.associations": {
|
||||
"*.h": "c",
|
||||
"*.pl": "prolog"
|
||||
},
|
||||
"editor.minimap.showSlider": "always",
|
||||
"haskell.formattingProvider": "stylish-haskell",
|
||||
"editor.minimap.enabled": false,
|
||||
"[haskell]": {
|
||||
"editor.defaultFormatter": "haskell.haskell"
|
||||
},
|
||||
"calva.highlight.matchedBracketStyle": {},
|
||||
"calva.paredit.defaultKeyMap": "original",
|
||||
"editor.autoIndent": "advanced",
|
||||
"calva.prettyPrintingOptions": {
|
||||
"printEngine": "pprint",
|
||||
"enabled": true,
|
||||
"width": 120,
|
||||
"maxLength": 50
|
||||
},
|
||||
"[javascriptreact]": {
|
||||
"editor.defaultFormatter": "esbenp.prettier-vscode"
|
||||
},
|
||||
"errorLens.excludeBySource": [
|
||||
"eslint(eqeqeq)",
|
||||
"ts(2551)"
|
||||
],
|
||||
"terminal.integrated.fontSize": 15,
|
||||
"dafny.verificationTimeLimit": 3600,
|
||||
"dafny.verificationVirtualCores": 0,
|
||||
"editor.defaultFormatter": "denoland.vscode-deno",
|
||||
"haskell.manageHLS": "GHCup",
|
||||
"haskell.ghcupExecutablePath": "/home/mbk/.ghcup/bin/ghcup",
|
||||
"haskell.plugin.tactics.config.auto_gas": 8,
|
||||
"markdown.editor.pasteUrlAsFormattedLink.enabled": "smart",
|
||||
"ocaml.server.extendedHover": true,
|
||||
"idris.warnPartial": true,
|
||||
"idris.numbersOfContinuousTypechecking": 50,
|
||||
"zig.zigPath": "",
|
||||
"debug.internalConsoleOptions": "neverOpen",
|
||||
"zig.zls.enabled": true,
|
||||
"zig.zls.path": "/home/mbk/.config/Code/User/globalStorage/ziglang.vscode-zig/zls_install/zls",
|
||||
"ruby.codeCompletion": "rcodetools",
|
||||
"ruby.intellisense": "rubyLocate",
|
||||
"ruby.format": "prettier",
|
||||
"window.commandCenter": false,
|
||||
"editor.suggest.showStatusBar": true,
|
||||
"twind.debug": true
|
||||
];
|
||||
"terminal.integrated.commandsToSkipShell" = [ "-workbench.action.quickOpen" ];
|
||||
"terminal.integrated.defaultProfile.linux" = "fish";
|
||||
"terminal.integrated.fontSize" = 15;
|
||||
"terminal.integrated.scrollback" = 100000;
|
||||
"terminal.integrated.tabs.enabled" = true;
|
||||
"twind.debug" = true;
|
||||
"typescript.updateImportsOnFileMove.enabled" = "always";
|
||||
"vim.easymotion" = true;
|
||||
"vim.handleKeys" = { "<C-t>" = false; };
|
||||
"vim.highlightedyank.enable" = true;
|
||||
"vim.leader" = ";";
|
||||
"vim.normalModeKeyBindings" = [
|
||||
{
|
||||
after = [ "g" "j" ];
|
||||
before = [ "j" ];
|
||||
}
|
||||
{
|
||||
after = [ "g" "k" ];
|
||||
before = [ "k" ];
|
||||
}
|
||||
{
|
||||
after = [ "^" ];
|
||||
before = [ "0" ];
|
||||
}
|
||||
{
|
||||
before = [ "t" "j" ];
|
||||
commands = [ "workbench.action.nextEditor" ];
|
||||
}
|
||||
{
|
||||
before = [ "t" "k" ];
|
||||
commands = [ "workbench.action.previousEditor" ];
|
||||
}
|
||||
{
|
||||
before = [ "t" "w" ];
|
||||
commands = [ "workbench.action.closeActiveEditor" ];
|
||||
}
|
||||
{
|
||||
before = [ "f" "f" ];
|
||||
commands = [ "workbench.action.quickOpen" ];
|
||||
}
|
||||
{
|
||||
before = [ "f" "e" ];
|
||||
commands = [ "workbench.action.showAllEditorsByMostRecentlyUsed" ];
|
||||
}
|
||||
{
|
||||
before = [ "f" "s" ];
|
||||
commands = [ "workbench.action.gotoSymbol" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "z" ];
|
||||
commands = [ "workbench.action.toggleZenMode" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "w" ];
|
||||
commands = [ ":w" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "q" ];
|
||||
commands = [ ":q" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "d" ];
|
||||
commands = [ "editor.action.showHover" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "f" ];
|
||||
commands = [ "editor.action.quickFix" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "t" ];
|
||||
commands = [ "editor.action.peekTypeDefinition" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "g" ];
|
||||
commands = [ "editor.action.revealDefinition" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "c" ];
|
||||
commands = [ "rust-analyzer.run" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "r" "n" ];
|
||||
commands = [ "editor.action.rename" ];
|
||||
}
|
||||
{
|
||||
before = [ "<c-j>" ];
|
||||
commands = [ "editor.action.marker.nextInFiles" ];
|
||||
}
|
||||
{
|
||||
before = [ "<c-k>" ];
|
||||
commands = [ "editor.action.marker.prevInFiles" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "p" "c" ];
|
||||
commands = [ "picat.run.document" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "h" ];
|
||||
commands = [ "paredit.slurpSexpBackward" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "l" ];
|
||||
commands = [ "paredit.slurpSexpForward" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "w" "p" ];
|
||||
commands = [ "paredit.wrapAroundParens" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "w" "b" ];
|
||||
commands = [ "paredit.wrapAroundSquare" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "w" "c" ];
|
||||
commands = [ "paredit.wrapAroundCurly" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "w" "p" ];
|
||||
commands = [ "paredit.wrapAroundParens" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "b" "h" ];
|
||||
commands = [ "paredit.barfSexpBackward" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "b" "l" ];
|
||||
commands = [ "paredit.barfSexpForward" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "t" ];
|
||||
commands = [ "paredit.transpose" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "t" ];
|
||||
commands = [ "paredit.transpose" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "e" ];
|
||||
commands = [ "calva.evaluateCurrentTopLevelForm" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "s" ];
|
||||
commands = [ "calva.evaluateSelection" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "f" ];
|
||||
commands = [ "calva.sendCurrentFormToOutputWindow" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "s" "o" ];
|
||||
commands = [ "calva.showOutputWindow" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "i" "l" ];
|
||||
commands = [ "idris.make-lemma" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "i" "f" "h" ];
|
||||
commands = [ "idris.proof-search" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "i" "c" "s" ];
|
||||
commands = [ "idris.case-split" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "i" "t" "c" ];
|
||||
commands = [ "idris.typecheck" ];
|
||||
}
|
||||
{
|
||||
before = [ "<leader>" "i" "m" ];
|
||||
commands = [ "idris.add-clause" ];
|
||||
}
|
||||
];
|
||||
"vim.smartRelativeLine" = true;
|
||||
"vim.useSystemClipboard" = true;
|
||||
"window.autoDetectColorScheme" = true;
|
||||
"window.commandCenter" = false;
|
||||
"window.restoreWindows" = "none";
|
||||
"window.titleBarStyle" = "custom";
|
||||
"workbench.colorTheme" = "One Dark Pro Darker";
|
||||
"workbench.editor.enablePreview" = false;
|
||||
"workbench.editor.enablePreviewFromQuickOpen" = false;
|
||||
"workbench.editorAssociations" = { "*.jpg" = "imagePreview.previewEditor"; };
|
||||
"workbench.iconTheme" = "gruvbox-material-icon-theme";
|
||||
"workbench.layoutControl.enabled" = true;
|
||||
"workbench.layoutControl.type" = "both";
|
||||
"workbench.startupEditor" = "none";
|
||||
"zig.zigPath" = "";
|
||||
"zig.zls.enabled" = true;
|
||||
"zig.zls.path" =
|
||||
"/home/mbk/.config/Code/User/globalStorage/ziglang.vscode-zig/zls_install/zls";
|
||||
}
|
||||
''
|
||||
|
|
|
|||
Loading…
Reference in a new issue