From 1e17900404180d7e893853de03f15376d7102f55 Mon Sep 17 00:00:00 2001 From: Nicolas MASSE Date: Thu, 26 Nov 2020 15:09:02 +0100 Subject: [PATCH] add vscode configuration --- .vscode/extensions.json | 17 +++++++++++++++++ .vscode/settings.json | 10 ++++++++++ 2 files changed, 27 insertions(+) create mode 100644 .vscode/extensions.json create mode 100644 .vscode/settings.json diff --git a/.vscode/extensions.json b/.vscode/extensions.json new file mode 100644 index 0000000..3879d88 --- /dev/null +++ b/.vscode/extensions.json @@ -0,0 +1,17 @@ +{ + // See https://go.microsoft.com/fwlink/?LinkId=827846 to learn about workspace recommendations. + // Extension identifier format: ${publisher}.${name}. Example: vscode.csharp + + // List of extensions which should be recommended for users of this workspace. + "recommendations": [ + // Do not forget to link the system-wide dictionaries with: + // mkdir -p ~/.config/Code/Dictionaries + // ln -s /usr/share/myspell/* ~/.config/Code/Dictionaries + "ban.spellright", + "davidanson.vscode-markdownlint" + ], + // List of extensions recommended by VS Code that should not be recommended for users of this workspace. + "unwantedRecommendations": [ + + ] +} \ No newline at end of file diff --git a/.vscode/settings.json b/.vscode/settings.json new file mode 100644 index 0000000..f104aeb --- /dev/null +++ b/.vscode/settings.json @@ -0,0 +1,10 @@ +{ + "spellright.language": [ + "en_GB" + ], + "spellright.documentTypes": [ + "markdown", + "latex", + "plaintext" + ] +} \ No newline at end of file