Update more vscode config

This commit is contained in:
Jake Howard 2018-04-06 22:15:23 +01:00
parent 61e5fb8bd9
commit 35da74ac8d
Signed by: jake
GPG key ID: 57AFB45680EDD477
2 changed files with 12 additions and 1 deletions

View file

@ -54,5 +54,14 @@
"suppressResultsExplorerNotice": false, "suppressResultsExplorerNotice": false,
"suppressShowKeyBindingsNotice": true "suppressShowKeyBindingsNotice": true
}, },
"gitlens.keymap": "alternate" "gitlens.keymap": "alternate",
"editor.cursorBlinking": "smooth",
"editor.fontLigatures": true,
"editor.smoothScrolling": true,
"workbench.editor.enablePreview": false,
"terminal.integrated.enableBell": true,
"terminal.integrated.fontSize": 14,
"terminal.integrated.scrollback": 2000,
"git.enableCommitSigning": true,
"python.linting.mypyEnabled": true
} }

View file

@ -45,6 +45,7 @@ class config::vscode {
file { 'VSCode config': file { 'VSCode config':
ensure => file, ensure => file,
mode => '0644', mode => '0644',
owner => 'jake',
path => '/home/jake/.config/Code/User/settings.json', path => '/home/jake/.config/Code/User/settings.json',
source => 'puppet:///modules/config/vscode-settings.json' source => 'puppet:///modules/config/vscode-settings.json'
} }
@ -52,6 +53,7 @@ class config::vscode {
file { 'VSCode keybindings': file { 'VSCode keybindings':
ensure => file, ensure => file,
mode => '0644', mode => '0644',
owner => 'jake',
path => '/home/jake/.config/Code/User/keybindings.json', path => '/home/jake/.config/Code/User/keybindings.json',
source => 'puppet:///modules/config/vscode-keybindings.json' source => 'puppet:///modules/config/vscode-keybindings.json'
} }