diff options
| author | Marc Cornellà <marc@mcornella.com> | 2025-09-27 15:56:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-27 15:56:46 +0200 |
| commit | 6d5482ef59d1a3ae3b40b4583317ebe802f81447 (patch) | |
| tree | 4a157a0d5cb37f70b2a1933e606f9695441e33b7 /.gitpod.Dockerfile | |
| parent | 763aab3271f4bbe3b41caabd28088b7fb31abae4 (diff) | |
| download | zsh-6d5482ef59d1a3ae3b40b4583317ebe802f81447.tar.gz zsh-6d5482ef59d1a3ae3b40b4583317ebe802f81447.tar.bz2 zsh-6d5482ef59d1a3ae3b40b4583317ebe802f81447.zip | |
chore: remove obsolete gitpod integration (#13334)
Diffstat (limited to '.gitpod.Dockerfile')
| -rw-r--r-- | .gitpod.Dockerfile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile deleted file mode 100644 index b35c80dfb..000000000 --- a/.gitpod.Dockerfile +++ /dev/null @@ -1,5 +0,0 @@ -FROM gitpod/workspace-full - -RUN sudo apt-get update && \ - sudo apt-get install -y zsh && \ - sudo rm -rf /var/lib/apt/lists/* |