From db78a9268713754d52ec1a1827ecd7edca621d5a Mon Sep 17 00:00:00 2001 From: Jose Diaz-Gonzalez Date: Sun, 12 Sep 2021 22:20:42 -0400 Subject: [PATCH] dev: add file (for linting) and nano (for in-container editing) to devcontainer --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 187503c..8a6e852 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1,7 +1,7 @@ FROM dokku/dokku:latest RUN apt-get update -RUN apt-get install --no-install-recommends -y build-essential && \ +RUN apt-get install --no-install-recommends -y build-essential file nano && \ apt-get clean autoclean && \ apt-get autoremove --yes && \ rm -rf /var/lib/apt/lists/* && \