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
|
# minimal dotfile manager
|
||||||
# tracks files / copies them into the repo, sorted by hostname
|
# tracks files / copies them into the repo, sorted by hostname
|
||||||
#
|
#
|
||||||
# note: assumes pwd is this repo before running this script
|
|
||||||
set -u
|
set -u
|
||||||
|
|
||||||
# array of files [relative to home] to include
|
# array of files [relative to home] to include
|
||||||
|
|
Loading…
Add table
Reference in a new issue