diff --git a/.gitpod.yml b/.gitpod.yml index 4294ebd..b57cb8b 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -8,6 +8,6 @@ tasks: && echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \ && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \ && direnv allow /workspace + && julia -e 'include("init.jl")' - command: python3 -m http.server 8080 -d docs/build - command: gp preview $(gp url 8080) - - command: julia -e 'include("init.jl")' diff --git a/.vscode/settings.json b/.vscode/settings.json index 13ccd65..2c4e0cf 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -3,7 +3,6 @@ "redhat.telemetry.enabled": true, "git.autofetch": true, "gitpod.openInStable.neverPrompt": true, - "workbench.editor.untitled.hint": "hidden", "nixEnvSelector.nixFile": "default.nix", "workbench.startupEditor": "none", "files.exclude": {