aboutsummaryrefslogtreecommitdiff
path: root/.gitpod.dockerfile
diff options
context:
space:
mode:
authorCyril Cohen2021-03-14 22:28:53 +0100
committerGitHub2021-03-14 22:28:53 +0100
commitdeb0e19892674652b430b3cb89259bb5afc089b8 (patch)
tree94076f0aa9e8aeebcaa53c5149275cdd77576cb5 /.gitpod.dockerfile
parent6380d68df35be46329cc75c2675b83d1b8a482a4 (diff)
more gitpod config (#722)
Diffstat (limited to '.gitpod.dockerfile')
-rw-r--r--.gitpod.dockerfile23
1 files changed, 23 insertions, 0 deletions
diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile
new file mode 100644
index 0000000..9c1da02
--- /dev/null
+++ b/.gitpod.dockerfile
@@ -0,0 +1,23 @@
+FROM gitpod/workspace-full
+
+# 0. Switch to root
+USER root
+
+# 1. Install direnv & git-lfs
+RUN sudo apt-get install -y \
+ direnv \
+ git-lfs
+
+# 2. Configure Nix
+CMD /bin/bash -l
+USER gitpod
+ENV USER gitpod
+WORKDIR /home/gitpod
+
+RUN mkdir -p /home/gitpod/.config/nixpkgs && echo '{ allowUnfree = true; }' >> /home/gitpod/.config/nixpkgs/config.nix
+
+RUN echo '. /home/gitpod/.nix-profile/etc/profile.d/nix.sh' >> /home/gitpod/.bashrc
+RUN echo 'eval "$(direnv hook bash)"' >> /home/gitpod/.bashrc
+
+# n. Give back control
+USER root \ No newline at end of file