Browse Source

add vscode configuration

pull/10/head
Nicolas Massé 5 years ago
parent
commit
1e17900404
  1. 17
      .vscode/extensions.json
  2. 10
      .vscode/settings.json

17
.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": [
]
}

10
.vscode/settings.json

@ -0,0 +1,10 @@
{
"spellright.language": [
"en_GB"
],
"spellright.documentTypes": [
"markdown",
"latex",
"plaintext"
]
}
Loading…
Cancel
Save