1
mirror of https://github.com/jakejarvis/dotfiles.git synced 2026-01-12 16:32:54 -05:00

Look mom, I finally have a *real* dotfiles repo like the cool kids! 😎

This commit is contained in:
2019-09-07 21:26:10 -04:00
parent f763a1b3cd
commit 2c71836ba6
31 changed files with 1818 additions and 509 deletions

View File

@@ -1,6 +1,5 @@
// Place your settings in this file to overwrite the default settings
{
"workbench.iconTheme": "material-icon-theme",
"editor.fontFamily": "Source Code Pro, Menlo, Monaco, 'Courier New', monospace",
"editor.fontSize": 14.5,
"editor.cursorStyle": "line",
@@ -36,5 +35,16 @@
"css.lint.unknownVendorSpecificProperties": "warning",
"css.lint.zeroUnits": "warning",
"git.enableCommitSigning": true,
"git.showPushSuccessNotification": true
"git.showPushSuccessNotification": true,
"workbench.iconTheme": "material-icon-theme",
"liveshare.featureSet": "insiders",
"aws.telemetry": false,
"aws.profile": "default",
"githubPullRequests.remotes": [
"origin",
"upstream",
"github"
],
"sync.forceUpload": true,
"editor.renderWhitespace": "none"
}