Compare commits
No commits in common. "37e7ab3edc4e81d165ac4d09b920fd1609743d02" and "0e4af5d5962ed4aa532f45ae6dbbdd1c5c012407" have entirely different histories.
37e7ab3edc
...
0e4af5d596
2 changed files with 0 additions and 20 deletions
|
@ -1,19 +0,0 @@
|
|||
{
|
||||
"languageserver": {
|
||||
"systemd-language-server": {
|
||||
"command": "systemd-language-server",
|
||||
"filetypes": ["systemd"]
|
||||
}
|
||||
},
|
||||
"jedi.enable": true,
|
||||
"jedi.startupMessage": true,
|
||||
"jedi.jediSettings.debug": false,
|
||||
"jedi.diagnostics.enable": false,
|
||||
"jedi.workspace.symbols.ignoreFolders": [
|
||||
".nox",
|
||||
".tox",
|
||||
".venv",
|
||||
"__pycache__",
|
||||
"venv"
|
||||
]
|
||||
}
|
|
@ -3,7 +3,6 @@
|
|||
# minimal dotfile manager
|
||||
# tracks files / copies them into the repo, sorted by hostname
|
||||
#
|
||||
# note: assumes pwd is this repo before running this script
|
||||
set -u
|
||||
|
||||
# array of files [relative to home] to include
|
||||
|
|
Loading…
Add table
Reference in a new issue