Skip to content

Instantly share code, notes, and snippets.

Revisions

  1. richardtorres314 revised this gist May 29, 2020. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion VSCodeUserSettings.json
    Original file line number Diff line number Diff line change
    @@ -22,5 +22,5 @@
    "terminalCursor.background": "#003541"
    },
    "terminal.integrated.fontFamily": "Source Code Pro for Powerline",
    "terminal.integrated.fontSize": 15
    "terminal.integrated.fontSize": 15
    }
  2. richardtorres314 revised this gist May 29, 2020. 1 changed file with 3 additions and 1 deletion.
    4 changes: 3 additions & 1 deletion VSCodeUserSettings.json
    Original file line number Diff line number Diff line change
    @@ -20,5 +20,7 @@
    "terminal.ansiBrightYellow": "#657b83",
    "terminalCursor.foreground": "#839496",
    "terminalCursor.background": "#003541"
    }
    },
    "terminal.integrated.fontFamily": "Source Code Pro for Powerline",
    "terminal.integrated.fontSize": 15
    }
  3. @berndverst berndverst renamed this gist Dec 15, 2017. 1 changed file with 0 additions and 2 deletions.
    2 changes: 0 additions & 2 deletions settings.json → VSCodeUserSettings.json
    Original file line number Diff line number Diff line change
    @@ -1,6 +1,4 @@
    {
    // merge this into your VS Code User Settings to always have a Solarized Dark Terminal

    "workbench.colorCustomizations": {
    "terminal.foreground": "#839496",
    "terminal.background": "#002833",
  4. @berndverst berndverst created this gist Dec 15, 2017.
    26 changes: 26 additions & 0 deletions settings.json
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,26 @@
    {
    // merge this into your VS Code User Settings to always have a Solarized Dark Terminal

    "workbench.colorCustomizations": {
    "terminal.foreground": "#839496",
    "terminal.background": "#002833",
    "terminal.ansiBlack": "#003541",
    "terminal.ansiBlue": "#268bd2",
    "terminal.ansiCyan": "#2aa198",
    "terminal.ansiGreen": "#859901",
    "terminal.ansiMagenta": "#d33682",
    "terminal.ansiRed": "#dc322f",
    "terminal.ansiWhite": "#eee8d5",
    "terminal.ansiYellow": "#b58901",
    "terminal.ansiBrightBlack": "#586e75",
    "terminal.ansiBrightBlue": "#839496",
    "terminal.ansiBrightCyan": "#93a1a1",
    "terminal.ansiBrightGreen": "#586e75",
    "terminal.ansiBrightMagenta": "#6c6ec6",
    "terminal.ansiBrightRed": "#cb4b16",
    "terminal.ansiBrightWhite": "#fdf6e3",
    "terminal.ansiBrightYellow": "#657b83",
    "terminalCursor.foreground": "#839496",
    "terminalCursor.background": "#003541"
    }
    }