-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1 changed file
with
85 additions
and
95 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,98 +1,88 @@ | ||
| { | ||
| "window.menuBarVisibility": "toggle", | ||
| "editor.fontSize": 13, | ||
| "java.project.importOnFirstTimeStartup": "automatic", | ||
| "files.exclude": { | ||
| "**/.classpath": true, | ||
| "**/.project": true, | ||
| "**/.settings": true, | ||
| "**/.factorypath": true | ||
| }, | ||
| "editor.suggestSelection": "first", | ||
| "workbench.editor.enablePreview": false, | ||
| "workbench.editor.highlightModifiedTabs": true, | ||
| "vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue", | ||
| "workbench.statusBar.visible": true, | ||
| "workbench.colorTheme": "Solarized Dark", | ||
| "remote.SSH.remotePlatform": { | ||
| "uzq": "linux", | ||
| "cef1": "linux", | ||
| "cef2": "linux", | ||
| "cef3": "linux", | ||
| "node1": "linux", | ||
| "node2": "linux", | ||
| "node3": "linux", | ||
| "cef4": "linux", | ||
| "default": "linux", | ||
| "karl": "linux", | ||
| "cros": "linux", | ||
| "bzr": "linux", | ||
| "lizj": "linux", | ||
| "contrun.gowired.draft---inspiring-hooks.csb": "linux", | ||
| "contrun-infra-zsugg6cbhjo.ssh.ws-us101.gitpod.io": "linux", | ||
| "contrun-gitpodnix-zof0ollfwkm.vss.gitpod.io": "linux", | ||
| "contrun-infra-i6yqn5dj0ck.ssh.ws-us103.gitpod.io": "linux" | ||
| }, | ||
| "editor.multiCursorModifier": "alt", | ||
| "editor.wordWrap": "on", | ||
| "editor.minimap.enabled": false, | ||
| "remote.SSH.showLoginTerminal": true, | ||
| "remote.SSH.remoteServerListenOnSocket": true, | ||
| "workbench.editor.showTabs": "single", | ||
| "[rust]": { | ||
| "editor.defaultFormatter": "matklad.rust-analyzer" | ||
| }, | ||
| "terminal.integrated.scrollback": 100000, | ||
| "terminal.integrated.commandsToSkipShell": [ | ||
| "language-julia.interrupt" | ||
| ], | ||
| "clangd.path": "/home/e/.config/Code/User/globalStorage/llvm-vs-code-extensions.vscode-clangd/install/11.0.0/clangd_11.0.0/bin/clangd", | ||
| "cmake.configureOnOpen": true, | ||
| "clangd.onConfigChanged": "restart", | ||
| "[cpp]": { | ||
| "editor.defaultFormatter": "llvm-vs-code-extensions.vscode-clangd" | ||
| }, | ||
| "files.watcherExclude": { | ||
| "**/.bloop": true, | ||
| "**/.metals": true, | ||
| "**/.ammonite": true | ||
| }, | ||
| "python.languageServer": "Pylance", | ||
| "lldb.verboseLogging": true, | ||
| "C_Cpp.updateChannel": "Insiders", | ||
| "workbench.editorAssociations": { | ||
| "*.ipynb": "jupyter.notebook.ipynb" | ||
| }, | ||
| "java.imports.gradle.wrapper.checksums": [ | ||
| { | ||
| "sha256": "ee3739525a995bcb5601621a6e2daec1f183bbefc375743acc235cec33547e04", | ||
| "allowed": true | ||
| } | ||
| ], | ||
| "window.zoomLevel": 1, | ||
| "settingsSync.ignoredSettings": [ | ||
| "configurationSync.store" | ||
| ], | ||
| "configurationSync.store": { | ||
| "url": "https://gitpod.io/code-sync", | ||
| "stableUrl": "https://gitpod.io/code-sync", | ||
| "insidersUrl": "https://gitpod.io/code-sync", | ||
| "canSwitch": false, | ||
| "authenticationProviders": { | ||
| "gitpod": { | ||
| "scopes": [ | ||
| "function:accessCodeSyncStorage", | ||
| "function:getLoggedInUser", | ||
| "resource:default" | ||
| ] | ||
| "workbench.editor.enablePreview": false, | ||
| "workbench.editor.highlightModifiedTabs": true, | ||
| "window.menuBarVisibility": "toggle", | ||
| "editor.fontSize": 13, | ||
| "workbench.statusBar.feedback.visible": false, | ||
| "languageServerHaskell.enableHIE": true, | ||
| "languageServerHaskell.hlintOn": true, | ||
| "languageServerHaskell.maxNumberOfProblems": 100, | ||
| "languageServerHaskell.formattingProvider": "floskell", | ||
| "languageServerHaskell.useCustomHieWrapper": true, | ||
| "languageServerHaskell.trace.server": true, | ||
| "java.project.importOnFirstTimeStartup": "automatic", | ||
| "files.exclude": { | ||
| "**/.classpath": true, | ||
| "**/.project": true, | ||
| "**/.settings": true, | ||
| "**/.factorypath": true | ||
| }, | ||
| "editor.suggestSelection": "first", | ||
| "vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue", | ||
| "workbench.statusBar.visible": true, | ||
| "remote.SSH.remotePlatform": { | ||
| "uzq": "linux", | ||
| "cef": "linux", | ||
| "ceft": "linux", | ||
| "bzr": "linux", | ||
| "jxt": "linux", | ||
| "10.200.2.171": "linux", | ||
| "node1": "linux", | ||
| "contrun-gitpodnix-5rcvkcnbpnu.ssh.ws-us87.gitpod.io": "linux", | ||
| "contrun-gitpodnix-jlrbgr0u0xn.ssh.ws-us100.gitpod.io": "linux", | ||
| "contrun-gitpodnix-m9csuuv74mp.vss.gitpod.io": "linux", | ||
| "contrun-gitpodnix-bde898w6u3i.vss.gitpod.io": "linux", | ||
| "contrun-gitpodnix-3hts3j3kfqt.vss.gitpod.io": "linux", | ||
| "contrun-infra-i6yqn5dj0ck.vss.gitpod.io": "linux", | ||
| "contrun-ckbp2pexperimen-ll57a71c3ec.vss.gitpod.io": "linux" | ||
| }, | ||
| "editor.multiCursorModifier": "alt", | ||
| "editor.wordWrap": "on", | ||
| "remote.SSH.showLoginTerminal": true, | ||
| "remote.SSH.remoteServerListenOnSocket": true, | ||
| "workbench.editor.showTabs": "single", | ||
| "[rust]": { | ||
| "editor.defaultFormatter": "rust-lang.rust-analyzer" | ||
| }, | ||
| "terminal.integrated.scrollback": 100000, | ||
| "terminal.integrated.commandsToSkipShell": [ | ||
| "language-julia.interrupt" | ||
| ], | ||
| "cmake.configureOnOpen": true, | ||
| "clangd.onConfigChanged": "restart", | ||
| "[cpp]": { | ||
| "editor.defaultFormatter": "llvm-vs-code-extensions.vscode-clangd" | ||
| }, | ||
| "terminal.integrated.allowChords": false, | ||
| "editor.minimap.enabled": false, | ||
| "files.watcherExclude": { | ||
| "**/.bloop": true, | ||
| "**/.metals": true, | ||
| "**/.ammonite": true | ||
| }, | ||
| "julia.symbolCacheDownload": true, | ||
| "go.toolsManagement.autoUpdate": true, | ||
| "redhat.telemetry.enabled": false, | ||
| "security.workspace.trust.untrustedFiles": "open", | ||
| "configurationSync.store": { | ||
| "url": "https://gitpod.io/code-sync", | ||
| "stableUrl": "https://gitpod.io/code-sync", | ||
| "insidersUrl": "https://gitpod.io/code-sync", | ||
| "canSwitch": false, | ||
| "authenticationProviders": { | ||
| "gitpod": { | ||
| "scopes": [ | ||
| "function:accessCodeSyncStorage", | ||
| "function:getLoggedInUser", | ||
| "resource:default" | ||
| ] | ||
| } | ||
| } | ||
| } | ||
| }, | ||
| "remote.SSH.defaultExtensions": [ | ||
| "gitpod.gitpod-remote-ssh" | ||
| ], | ||
| "agdaMode.connection.agdaLanguageServer": true, | ||
| "redhat.telemetry.enabled": false, | ||
| "workbench.activityBar.location": "hidden", | ||
| "dart.checkForSdkUpdates": false | ||
| }, | ||
| "remote.SSH.defaultExtensions": [ | ||
| "gitpod.gitpod-remote-ssh" | ||
| ], | ||
| "agdaMode.connection.agdaLanguageServer": true, | ||
| "window.zoomLevel": 2, | ||
| "workbench.activityBar.location": "hidden" | ||
| } |