nonnontrivial

{
  "telemetry.telemetryLevel": "off",
  "git.enableSmartCommit": true,
  "python.defaultInterpreterPath": "/usr/local/bin/python3",
  "python.analysis.extraPaths": [
    "~/Library/Python/3.11/lib/python/site-packages"
  ],
  "python.testing.pytestEnabled": true,
  "python.analysis.typeCheckingMode": "off",
  "[python]": {

nonnontrivial

[
  {
    "key": "ctrl+shift+d",
    "command": "editor.action.revealDefinition",
    "when": "editorHasDefinitionProvider && editorTextFocus && !isInEmbeddedEditor"
  },
  {
    "key": "f12",
    "command": "-editor.action.revealDefinition",
    "when": "editorHasDefinitionProvider && editorTextFocus && !isInEmbeddedEditor"

nonnontrivial

#!/usr/bin/env python3
"""
script for gpt-assisted commandline workflows.

simply add this to your $PATH, rename to remo-
ve the .py extension, and chmod +x to make it
executable.

>>> gpt where does the time go?
"""

nonnontrivial

[editor]
mouse = false
auto-completion = true
cursorline = true
cursorcolumn = true
auto-format = true
auto-save = true
idle-timeout = 300
completion-trigger-len = 2
auto-info = true

nonnontrivial

{
  "vim_mode": true,
  "theme": "Summercamp",
  "relative_line_numbers": true,
  "buffer_line_height": "standard",
  "buffer_font_family": "Menlo",
  "ui_font_family": "Menlo",
  "terminal": {
    "font_family": "Menlo"
  },