From d0257d601429d1d89f7967a302d882637e6d9dc1 Mon Sep 17 00:00:00 2001 From: Kaeptenblaubaer Date: Tue, 14 May 2024 11:24:15 +0000 Subject: [PATCH] gitpod.yml PATH --- .gitpod.yml | 4 ++-- .vscode/settings.json | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitpod.yml b/.gitpod.yml index 5e611a2..1c3c1b0 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -3,8 +3,8 @@ image: tasks: - init: > cd ~ && curl -L https://storage.googleapis.com/julialang2/bin/linux/x64/$JULIA_MINOR_VERSION/julia-$JULIA_BUGFIX_VERSION-linux-x86_64.tar.gz - | tar -xzf - - && echo "PATH_add ~/julia-$JULIA_BUGFIX_VERSION/bin" > /workspace/.envrc + | tar -xzf - && mv julia-$JULIA_BUGFIX_VERSION julia + && echo "PATH_add ~/julia/bin" > /workspace/.envrc && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc && direnv allow /workspace - command: julia -e 'include("init.jl")' diff --git a/.vscode/settings.json b/.vscode/settings.json index d44ed86..719c55a 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -15,7 +15,7 @@ "language-julia.interrupt" ], "terminal.integrated.scrollback": 50000, - "julia.executablePath": "~/julia-1.8.2/bin/julia", + "julia.executablePath": "~/julia/bin/julia", "julia.symbolCacheDownload": true, "julia.enableTelemetry": true, "settingsSync.ignoredExtensions": [