2018-02-19 13:39:25 +00:00
|
|
|
{
|
2018-03-16 13:30:52 +00:00
|
|
|
"editor.multiCursorModifier": "ctrlCmd",
|
|
|
|
"editor.snippetSuggestions": "top",
|
|
|
|
"editor.formatOnPaste": false,
|
|
|
|
"workbench.colorTheme": "Darcula",
|
|
|
|
"workbench.iconTheme": "material-icon-theme",
|
|
|
|
"telemetry.enableCrashReporter": true,
|
|
|
|
"telemetry.enableTelemetry": false,
|
|
|
|
"extensions.autoUpdate": false,
|
|
|
|
"window.zoomLevel": 0,
|
|
|
|
"gitlens.currentLine.enabled": false,
|
|
|
|
"gitlens.hovers.currentLine.over": "line",
|
|
|
|
"scss.scannerExclude": [
|
|
|
|
"**/.git",
|
|
|
|
"**/bower_components"
|
|
|
|
],
|
|
|
|
"less.scannerExclude": [
|
|
|
|
"**/.git",
|
|
|
|
"**/bower_components"
|
|
|
|
],
|
|
|
|
"python.workspaceSymbols.exclusionPatterns": [],
|
|
|
|
"gitlens.codeLens.enabled": false,
|
2019-05-11 16:56:09 +01:00
|
|
|
"workbench.activityBar.visible": true,
|
2018-03-16 13:30:52 +00:00
|
|
|
"editor.fontSize": 14,
|
|
|
|
"files.trimTrailingWhitespace": true,
|
|
|
|
"files.insertFinalNewline": true,
|
|
|
|
"files.trimFinalNewlines": true,
|
|
|
|
"auto-close-tag.SublimeText3Mode": true,
|
|
|
|
"python.linting.lintOnSave": true,
|
2018-04-06 21:03:52 +01:00
|
|
|
"terminal.integrated.setLocaleVariables": true,
|
|
|
|
"gitlens.advanced.messages": {
|
|
|
|
"suppressCommitHasNoPreviousCommitWarning": false,
|
|
|
|
"suppressCommitNotFoundWarning": false,
|
|
|
|
"suppressFileNotUnderSourceControlWarning": false,
|
|
|
|
"suppressGitVersionWarning": false,
|
|
|
|
"suppressLineUncommittedWarning": false,
|
|
|
|
"suppressNoRepositoryWarning": false,
|
|
|
|
"suppressResultsExplorerNotice": false,
|
|
|
|
"suppressShowKeyBindingsNotice": true
|
2018-04-06 21:22:03 +01:00
|
|
|
},
|
2018-04-06 22:15:23 +01:00
|
|
|
"gitlens.keymap": "alternate",
|
|
|
|
"editor.cursorBlinking": "smooth",
|
|
|
|
"editor.fontLigatures": true,
|
|
|
|
"editor.smoothScrolling": true,
|
|
|
|
"workbench.editor.enablePreview": false,
|
|
|
|
"terminal.integrated.enableBell": true,
|
|
|
|
"terminal.integrated.fontSize": 14,
|
|
|
|
"terminal.integrated.scrollback": 2000,
|
|
|
|
"git.enableCommitSigning": true,
|
2018-05-27 17:00:08 +01:00
|
|
|
"python.linting.mypyEnabled": true,
|
2019-08-04 21:06:48 +01:00
|
|
|
"python.linting.flake8Enabled": true,
|
2019-08-04 21:12:44 +01:00
|
|
|
"python.linting.pylintEnabled": false,
|
|
|
|
"python.terminal.activateEnvironment": false,
|
|
|
|
"python.venvPath": "~/.virtualenvs, ~/.pyenv, ~/.cache/pypoetry/virtualenvs",
|
2019-05-11 16:56:09 +01:00
|
|
|
"editor.fontFamily": "Fira Code",
|
|
|
|
"editor.minimap.renderCharacters": false,
|
|
|
|
"editor.cursorSmoothCaretAnimation": true,
|
2019-09-03 12:27:24 +01:00
|
|
|
"workbench.settings.enableNaturalLanguageSearch": false,
|
2019-05-11 17:18:41 +01:00
|
|
|
"cSpell.language": "en-GB",
|
|
|
|
"editor.mouseWheelZoom": true,
|
|
|
|
"files.autoGuessEncoding": true,
|
|
|
|
"workbench.startupEditor": "none",
|
|
|
|
"extensions.ignoreRecommendations": true,
|
|
|
|
"extensions.showRecommendationsOnlyOnDemand": true,
|
2019-08-04 20:54:45 +01:00
|
|
|
"latex-workshop.intellisense.package.enabled": true,
|
2019-09-03 12:27:24 +01:00
|
|
|
"latex-workshop.latex.autoBuild.run": "never",
|
|
|
|
"workbench.enableExperiments": false,
|
|
|
|
"update.mode": "none",
|
2019-10-29 16:30:14 +00:00
|
|
|
"latex-workshop.bind.enter.key": false,
|
|
|
|
"color-highlight.markerType": "underline",
|
2020-02-25 10:12:48 +00:00
|
|
|
"git-graph.showStatusBarItem": false,
|
|
|
|
"terraform.indexing": {
|
|
|
|
"enabled": false,
|
|
|
|
"liveIndexing": false,
|
|
|
|
"delay": 500,
|
|
|
|
"exclude": [
|
|
|
|
".terraform/**/*",
|
|
|
|
"**/.terraform/**/*"
|
|
|
|
]
|
|
|
|
},
|
|
|
|
"terraform.languageServer": {
|
|
|
|
"enabled": true,
|
|
|
|
"args": [],
|
|
|
|
"pathToBinary": "/usr/bin/terraform-lsp"
|
2020-05-30 17:27:36 +01:00
|
|
|
},
|
|
|
|
"languageToolLinter.serviceType": "managed",
|
|
|
|
"languageToolLinter.managed.classPath": "/usr/share/languagetool:/usr/share/java/languagetool/*.jar",
|
|
|
|
"languageToolLinter.lintOnOpen": true,
|
|
|
|
"languageToolLinter.languageTool.language": "en-GB",
|
|
|
|
"languageToolLinter.languageTool.motherTongue": "en-GB",
|
2018-02-19 15:49:22 +00:00
|
|
|
}
|