Visual Studio Code on my laptop (clarisse)

settings.json

{
  /*
    --- Visual Studio Code settings ---
  */
  // Global
  "chat.commandCenter.enabled": false,
  "window.customTitleBarVisibility": "auto",
  "window.titleBarStyle": "custom",
  "window.zoomLevel": 1,
  "window.autoDetectColorScheme": true,
  "workbench.activityBar.location": "top",
  "workbench.iconTheme": "material-icon-theme",
  "workbench.preferredLightColorTheme": "Atom One Light",
  "workbench.preferredDarkColorTheme": "Atom One Dark",
  "workbench.sideBar.location": "left",
  "workbench.startupEditor": "none",
  // Editors
  "diffEditor.hideUnchangedRegions.enabled": true,
  "diffEditor.experimental.showMoves": true,
  "diffEditor.ignoreTrimWhitespace": false,
  "editor.acceptSuggestionOnEnter": "smart",
  "editor.bracketPairColorization.enabled": true,
  "editor.cursorBlinking": "phase",
  "editor.cursorSmoothCaretAnimation": "on",
  // JetBrains Mono (Nerd) is my default, Lilex is for when I
  // get bored of it, Latin Modern Mono is when I want to feel
  // like in a LaTeX document, JetBrains Mono is the fallback if
  // the nerd version has issues, and finally monospace as a
  // good CSS citizen
  "editor.fontFamily": "'JetBrainsMono Nerd Font', 'Lilex', 'Latin Modern Mono', 'JetBrains Mono', 'monospace', monospace",
  // Ligatures for Lilex
  "editor.fontLigatures": "'zero', 'ss01', 'cv11'",
  "editor.fontSize": 15,
  "editor.formatOnSave": true,
  // The default font weight is too light to my taste
  "editor.fontWeight": "600",
  "editor.indentSize": "tabSize",
  "editor.inlayHints.enabled": "offUnlessPressed",
  "editor.largeFileOptimizations": false,
  // Ideally they would only be shown when a certain key
  // combination is pressed 😔
  "editor.lineNumbers": "on",
  "editor.linkedEditing": true,
  "editor.minimap.enabled": false,
  // I think I switched to "first" because "recently used" gave
  // too many false positives
  "editor.suggestSelection": "first",
  "editor.stickyScroll.enabled": true,
  "editor.stickyTabStops": true,
  "editor.tabCompletion": "on",
  "editor.tabSize": 2,
  // Terminal
  "terminal.integrated.cursorStyle": "line",
  "terminal.integrated.cursorStyleInactive": "none",
  "terminal.integrated.defaultLocation": "editor",
  "terminal.integrated.drawBoldTextInBrightColors": false,
  "terminal.integrated.enableImages": true,
  "terminal.integrated.fontFamily": "'JetBrainsMono Nerd Font', 'JetBrains Mono', 'monospace', monospace",
  "terminal.integrated.fontLigatures.enabled": true,
  "terminal.integrated.fontWeight": "600",
  "terminal.integrated.fontWeightBold": "720",
  "terminal.integrated.hideOnStartup": "whenEmpty",
  "terminal.integrated.lineHeight": 1,
  "terminal.integrated.minimumContrastRatio": 1,
  "terminal.integrated.smoothScrolling": true,
  "terminal.integrated.stickyScroll.enabled": true,
  "terminal.integrated.suggest.enabled": true,
  "terminal.integrated.tabs.separator": " · ",
  /*
    --- Git ---
  */
  "git.autofetch": true,
  "git.enableSmartCommit": false,
  "git.confirmSync": false,
  "git.enableCommitSigning": true,
  "git.ignoreRebaseWarning": true,
  /*
    --- Language Settings ---
  */
  // C/C++
  "C_Cpp.default.compilerArgs": [
    "-Wall -Wextra"
  ],
  "C_Cpp.default.cStandard": "c23",
  // OCaml
  "ocaml.server.extendedHover": true,
  // Python
  "python.analysis.autoFormatStrings": true,
  "python.analysis.autoImportCompletions": true,
  "python.analysis.diagnosticSeverityOverrides": {
    "reportAssertAlwaysTrue": "warning",
    "reportConstantRedefinition": "error",
    "reportGeneralTypeIssues": "error",
    "reportImportCycles": "error",
    "reportInconsistentConstructor": "error",
    "reportInvalidStringEscapeSequence": "error",
    "reportMatchNotExhaustive": "warning",
    "reportMissingImports": "error",
    "reportMissingParameterType": "error",
    "reportOptionalCall": "error",
    "reportOptionalContextManager": "error",
    "reportOptionalIterable": "error",
    "reportOptionalMemberAccess": "error",
    "reportOptionalSubscript": "error",
    "reportPrivateUsage": "error",
    "reportSelfClsParameterName": "warning",
    "reportUnboundVariable": "error",
    "reportUndefinedVariable": "error",
    "reportUninitializedInstanceVariable": "error",
    "reportUnknownArgumentType": "error",
    "reportUnknownMemberType": "error",
    "reportUnknownParameterType": "error",
    "reportUnknownVariableType": "error",
    "reportUnnecessaryComparison": "information",
    "reportUnnecessaryContains": "information",
    "reportUnnecessaryTypeIgnoreComment": "information",
    "reportUntypedBaseClass": "error",
    "reportUntypedClassDecorator": "error",
    "reportUntypedFunctionDecorator": "error",
    "reportUntypedNamedTuple": "error",
    "reportUnusedCallResult": "information",
    "reportUnusedFunction": "warning",
    "reportUnusedClass": "warning",
    "reportUnusedExpression": "error",
    "reportUnusedImport": "warning",
    "reportUnusedVariable": "error",
  },
  /* to prevent unnecessary analysis of the stdlib */
  "python.analysis.exclude": [
    ".venv/**"
  ],
  "python.analysis.indexing": false,
  "python.analysis.typeCheckingMode": "strict",
  "python.analysis.userFileIndexingLimit": 1000,
  "python.defaultInterpreterPath": "/bin/python",
  "python.languageServer": "Pylance",
  "python.missingPackage.severity": "Warning",
  "python.REPL.enableREPLSmartSend": false,
  "python.terminal.activateEnvInCurrentTerminal": true,
  "python.testing.pytestEnabled": true,
  // Rocq
  "vscoq.completion.enable": true,
  "vscoq.goals.display": "Tabs",
  "vscoq.path": "/home/clarisse/.opam/default/bin/vscoqtop",
  /*
    --- EXTENSIONS ---
  */
  // CodeSnap
  "codesnap.boxShadow": "rgba(0, 0, 0, 0.55) 0px 0px 0px",
  "codesnap.containerPadding": "1em",
  "codesnap.realLineNumbers": true,
  "codesnap.showWindowControls": false,
  "codesnap.showWindowTitle": true,
  "codesnap.transparentBackground": true,
  // Github PRs
  "githubPullRequests.createOnPublishBranch": "never",
  "githubPullRequests.pullBranch": "never",
  // Gitlab
  "gitlab.duo.enabledWithoutGitlabProject": false,
  "gitlab.duoChat.enabled": false,
  "gitlab.duoCodeSuggestions.openTabsContext": false,
  "gitlab.duoCodeSuggestions.enabled": false,
  "gitlab.keybindingHints.enabled": false,
  // Intellicode
  "vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue",
  // Jupyter Notebook
  "notebook.lineNumbers": "on",
  // Live Server
  "liveServer.settings.donotShowInfoMsg": true,
  // LLDB
  "lldb.library": "/usr/lib/swift/lib/liblldb.so",
  "lldb.launch.expressions": "native",
  // Make
  "makefile.configureOnOpen": true,
  // Material Icon Theme
  "material-icon-theme.folders.theme": "specific",
  // Meson
  "mesonbuild.downloadLanguageServer": true,
  // Ruff
  "ruff.configurationPreference": "filesystemFirst",
  "ruff.format.preview": true,
  "ruff.lint.preview": true,
  "ruff.trace.server": "messages",
  // SCM
  "scm.repositories.sortOrder": "name",
  // YAML
  "redhat.telemetry.enabled": false,
  /*
    --- LANGUAGE-SPECIFIC SETTINGS ---
  */
  "[c]": {
    "editor.defaultFormatter": "xaver.clang-format",
    "editor.indentSize": 2
  },
  "[cpp]": {
    "editor.defaultFormatter": "ms-vscode.cpptools"
  },
  "[css]": {
    "editor.defaultFormatter": "esbenp.prettier-vscode"
  },
  "[gleam]": {
    "editor.tabSize": 2,
  },
  "[html]": {
    "editor.defaultFormatter": "esbenp.prettier-vscode"
  },
  "[json]": {
    "editor.defaultFormatter": "esbenp.prettier-vscode"
  },
  "[jsonc]": {
    "editor.defaultFormatter": "vscode.json-language-features"
  },
  "[javascript]": {
    "editor.defaultFormatter": "esbenp.prettier-vscode",
  },
  "[markdown]": {
    "editor.defaultFormatter": "DavidAnson.vscode-markdownlint"
  },
  "[ocaml]": {
    "editor.defaultFormatter": "ocamllabs.ocaml-platform",
    "editor.tabSize": 2
  },
  "[ocaml.interface]": {
    "editor.tabSize": 2,
  },
  "[python]": {
    "editor.defaultFormatter": "charliermarsh.ruff",
    "editor.formatOnType": true,
    "editor.tabSize": 4
  },
  "[shellscript]": {
    "editor.defaultFormatter": "foxundermoon.shell-format"
  },
  "[swift]": {
    "editor.autoClosingComments": "always",
    "editor.tabSize": 2,
  },
  "[yaml]": {
    "editor.defaultFormatter": "esbenp.prettier-vscode"
  },
  /*
    --- Custom settings for Java ---
  */
  "files.exclude": {
    "**/.classpath": true,
    "**/.project": true,
    "**/.settings": true,
    "**/.factorypath": true
  },
}