corr gitpod init

Actuarial-Sciences-for-Africa-ASA · May 7, 2024 · 4a9d12c · 4a9d12c
1 parent eab4112
commit 4a9d12c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git 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
@@ -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": {