2023-12-18 15:24:33 +01:00
|
|
|
{
|
|
|
|
"explorer.confirmDelete": false,
|
|
|
|
"explorer.confirmDragAndDrop": false,
|
|
|
|
"security.workspace.trust.untrustedFiles": "open",
|
|
|
|
"[python]": {
|
|
|
|
"editor.defaultFormatter": "mikoz.black-py"
|
|
|
|
},
|
|
|
|
"cSpell.userWords": [
|
|
|
|
"enthéogènes",
|
|
|
|
"psycholytique",
|
|
|
|
"psychotomimétique"
|
|
|
|
],
|
|
|
|
"cSpell.language": "en,fr",
|
|
|
|
"cSpell.enabled": false,
|
|
|
|
"black-py.useIntegratedTerminal": true,
|
|
|
|
"workbench.iconTheme": "simple-icons",
|
2024-05-04 20:27:15 +02:00
|
|
|
"workbench.colorTheme": "Catppuccin Macchiato",
|
2023-12-18 15:24:33 +01:00
|
|
|
"git.openRepositoryInParentFolders": "always",
|
|
|
|
"syncSettings.crons": {
|
2024-07-29 19:44:50 +02:00
|
|
|
"review": "0 * * * *", // every hour
|
|
|
|
"download": "0 9 * * *", // at 9AM, every day
|
|
|
|
"upload": "0 17 * * *" // at 5PM, every day
|
2023-12-18 15:32:20 +01:00
|
|
|
},
|
|
|
|
"syncSettings.hostname": "{{hostname}}",
|
|
|
|
"syncSettings.hooks.preDownload": "git -C ~/.config/codium-settings pull",
|
|
|
|
"syncSettings.hooks.postUpload": "git -C ~/.config/codium-settings push",
|
|
|
|
"syncSettings.gitInitMessage": "Init settings from {{hostname}}, profile « {{profile}} »",
|
2024-02-08 11:00:03 +01:00
|
|
|
"syncSettings.gitUpdateMessage": "Update settings from {{hostname}}, profile « {{profile}} »",
|
2024-05-04 14:00:01 +02:00
|
|
|
"latex-workshop.latex.recipe.default": "tectonic",
|
|
|
|
"latex-workshop.latex.autoBuild.run": "onSave",
|
|
|
|
"latex-workshop.latex.outDir": "%WORKSPACE_FOLDER%/build/index",
|
|
|
|
"latex-workshop.view.pdf.viewer": "tab",
|
|
|
|
"latex-workshop.latex.recipes": [
|
|
|
|
{
|
|
|
|
"name": "tectonic",
|
2024-07-29 19:44:50 +02:00
|
|
|
"tools": ["tectonic"]
|
2024-05-04 14:00:01 +02:00
|
|
|
}
|
|
|
|
],
|
|
|
|
"latex-workshop.latex.tools": [
|
|
|
|
{
|
|
|
|
"name": "tectonic",
|
|
|
|
"command": "tectonic",
|
2024-07-29 19:44:50 +02:00
|
|
|
"args": ["-X", "build", "--keep-intermediates"],
|
2024-05-04 14:00:01 +02:00
|
|
|
"env": {}
|
|
|
|
}
|
|
|
|
]
|
2023-12-18 15:24:33 +01:00
|
|
|
}
|