~ajhalili2006's personal website, built with Zensical (successor of Material for Mkdocs) [old repo name got bugged while attempting to do manual knot migration via repo deletion] andreijiroh.dev
zensical mkdocs-material website
1// The Dev Container format allows you to configure your environment. At the heart of it 2// is a Docker image or Dockerfile which controls the tools available in your environment. 3// 4// See https://aka.ms/devcontainer.json for more information. 5{ 6 "name": "Gitpod", 7 // Use "image": "mcr.microsoft.com/vscode/devcontainers/base:ubuntu", 8 // instead of the build to use a pre-built image. 9 "build": { 10 "context": ".", 11 "dockerfile": "Dockerfile" 12 }, 13 // Features add additional features to your environment. See https://containers.dev/features 14 // Beware: features are not supported on all platforms and may have unintended side-effects. 15 "features": { 16 "ghcr.io/devcontainers/features/docker-in-docker:2": {} 17 }, 18 "remoteUser": "gitpod", 19 "customizations": { 20 "vscode": { 21 "extensions": [ 22 "foam.foam-vscode", 23 "DavidAnson.vscode-markdownlint", 24 "timonwong.shellcheck", 25 "ms-azuretools.vscode-docker", 26 "vivaxy.vscode-conventional-commits", 27 "akosyakov.gitpod-monitor" 28 ] 29 } 30 } 31}