Compare commits

..

No commits in common. "37e7ab3edc4e81d165ac4d09b920fd1609743d02" and "0e4af5d5962ed4aa532f45ae6dbbdd1c5c012407" have entirely different histories.

2 changed files with 0 additions and 20 deletions

View file

@ -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"
]
}

View file

@ -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