chore: Add text editor to base-os ubuntu image (#403)

* Add editors to base docker image * Only one editor is needed, lightest
parsa-epfl · Feb 15, 2023 · ee4f985 · ee4f985
1 parent da0b38f
commit ee4f985
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/commons/base-os/Dockerfile.amd64 b/commons/base-os/Dockerfile.amd64
@@ -1 +1,3 @@
 FROM ubuntu:22.04
+RUN apt-get update && apt-get install -y --no-install-recommends nano && rm -rf /var/lib/apt/lists/*;
+
diff --git a/commons/base-os/Dockerfile.arm64 b/commons/base-os/Dockerfile.arm64
@@ -1 +1,3 @@
 FROM ubuntu:22.04
+RUN apt-get update && apt-get install -y --no-install-recommends nano && rm -rf /var/lib/apt/lists/*;
+
diff --git a/commons/base-os/Dockerfile.riscv64 b/commons/base-os/Dockerfile.riscv64
@@ -1,2 +1,4 @@
 FROM riscv64/ubuntu:22.04
+RUN apt-get update && apt-get install -y --no-install-recommends nano && rm -rf /var/lib/apt/lists/*;
+
Original file line number	Diff line number	Diff line change
		@@ -1 +1,3 @@
		FROM ubuntu:22.04
		RUN apt-get update && apt-get install -y --no-install-recommends nano && rm -rf /var/lib/apt/lists/*;
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1,4 @@
		FROM riscv64/ubuntu:22.04
		RUN apt-get update && apt-get install -y --no-install-recommends nano && rm -rf /var/lib/apt/lists/*;