// Place your settings in this file to overwrite the default settings
{
    "editor.fontFamily": "Menlo, 'DejaVu Sans Mono', Consolas, Monaco, 'Courier New', monospace, 'Droid Sans Fallback'",
    "editor.fontSize": 12,
    "editor.renderWhitespace": "all",
    "editor.renderIndentGuides": true,
    "editor.rulers": [
        80, 100, 120
    ],

    "files.trimTrailingWhitespace": true,

    "search.exclude": {
        "**/.terraform": true
    },

    "terminal.integrated.shell.osx": "/usr/local/bin/zsh",
    "terminal.integrated.shell.linux": "zsh"
}
// Place your settings in this file to overwrite the default settings
{
    "editor.fontFamily": "Menlo, 'DejaVu Sans Mono', Consolas, Monaco, 'Courier New', monospace, 'Droid Sans Fallback'",
    "editor.fontSize": 11,
    "editor.renderWhitespace": "all",
    "editor.renderIndentGuides": true,
    "editor.rulers": [
        80, 100, 120
    ],

    "files.trimTrailingWhitespace": true,

    "search.exclude": {
        "**/.terraform": true
    },

    "terminal.integrated.shell.osx": "/usr/local/bin/zsh",
    "terminal.integrated.shell.linux": "zsh"
}
Use 11 point rather than 12 point font for vs code
Use 11 point rather than 12 point font for vs code
