From 2f191c7796dc8a8b6e493db8685fdf2256cf23e7 Mon Sep 17 00:00:00 2001
From: Michael Fliegner <12422482+michaelfliegner@users.noreply.github.com>
Date: Fri, 10 May 2024 22:10:11 +0200
Subject: [PATCH] Update .gitpod.yml

---
 .gitpod.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 763c05f..e9819a9 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -1,8 +1,5 @@
 image:
   file: .gitpod.Dockerfile
 tasks:
-  - init: echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
-     && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
-     && direnv allow /workspace
   - command: julia -e 'include("init.jl")'
   - command: python3 -m http.server 8080 -d docs/build