From a8e19a2631e426de6ee8c11a6446d89cbfb4e51c Mon Sep 17 00:00:00 2001 From: Chris Ayers Date: Mon, 2 Oct 2023 00:03:23 +0000 Subject: [PATCH] formatting --- .devcontainer/devcontainer.json | 10 +++------- .vscode/settings.json | 13 +++++++++++++ 2 files changed, 16 insertions(+), 7 deletions(-) create mode 100644 .vscode/settings.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 2fa67cf..7823b12 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -12,25 +12,22 @@ "ghcr.io/devcontainers/features/node:1": {}, "ghcr.io/dhoeric/features/act:1": {} }, - // Features to add to the dev container. More info: https://containers.dev/features. // "features": {}, - // Use 'forwardPorts' to make a list of ports inside the container available locally. // "forwardPorts": [], - // Configure tool-specific properties. "customizations": { // Configure properties specific to VS Code. "vscode": { "settings": { - "markdown.marp.enableHtml" : true, + "markdown.marp.enableHtml": true, "markdown.marp.themes": [ "./slides/themes/custom.css", "./slides/themes/custom-default.css", "./slides/themes/custom-gaia.css", "./slides/themes/custom-uncover.css" - ] + ] }, "extensions": [ "github.vscode-github-actions", @@ -46,7 +43,6 @@ } }, "postStartCommand": "git config --global --add safe.directory ${containerWorkspaceFolder}" - // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. // "remoteUser": "root" -} +} \ No newline at end of file diff --git a/.vscode/settings.json b/.vscode/settings.json new file mode 100644 index 0000000..b04aa24 --- /dev/null +++ b/.vscode/settings.json @@ -0,0 +1,13 @@ +{ + "cSpell.words": [ + "azuretools", + "bierner", + "Codebytes", + "devcontainers", + "dhoeric", + "frontmatter", + "marp", + "nektos", + "yzhang" + ] +} \ No newline at end of file