From 218adf2874fc19464739c27256889d37b7629aad Mon Sep 17 00:00:00 2001 From: kescobo Date: Fri, 11 Aug 2023 14:36:05 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20@=20BioJulia?= =?UTF-8?q?/biojulia.github.io@e31a78aa06cf0aec8774d6f980e8c6ccfaa710e2=20?= =?UTF-8?q?=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .devcontainer/devcontainer.json | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 .devcontainer/devcontainer.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000..dc56e4d --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,21 @@ +{ + "name": "biojulia.github.io", + "image": "mcr.microsoft.com/devcontainers/base:ubuntu", + "features": { + "ghcr.io/julialang/devcontainer-features/julia:1": { + "channel": "release" + } + }, + "customizations": { + "vscode": { + "extensions": [ + "julialang.language-julia", + "tamasfe.even-better-toml", + "eamodio.gitlens" + ] + } + }, + "postCreateCommand": "julia --project=. -e 'using Pkg; Pkg.instantiate(); Pkg.precompile();'", + "postStartCommand": "julia --project=. -e 'using Xranklin; Xranklin.serve();'", + "forwardPorts": [8000] +}