diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile index f28addb..8317a18 100644 --- a/.gitpod.Dockerfile +++ b/.gitpod.Dockerfile @@ -5,8 +5,4 @@ RUN sudo wget https://julialang-s3.julialang.org/bin/linux/x64/1.8/julia-1.8.2-l # Install direnv RUN sudo apt-get update && sudo apt-get install -y direnv \ && direnv hook bash >> /home/gitpod/.bashrc - # && echo '[whitelist]' > .config/direnv/config.toml \ - # && echo 'prefix = [ "/workspace", "/home/gitpod"]' >> .config/direnv/config.toml \ - # && echo 'PATH_add /home/gitpod/julia-1.8.2/bin' > /home/gitpod/.envrc \ - # && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /home/gitpod/.envrc diff --git a/.gitpod.yml b/.gitpod.yml index b57cb8b..8419a35 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -2,12 +2,8 @@ image: file: .gitpod.Dockerfile tasks: - command: - mkdir -p ~/.config/direnv \ - && echo '[whitelist]' > ~/.config/direnv/config.toml \ - && echo 'prefix = [ "/workspace", "/home/gitpod"]' >> ~/.config/direnv/config.toml \ - && echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \ + 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)