add devcontainer config

apache · Nov 1, 2024 · 3f37bb7 · 3f37bb7
1 parent a7d5f4f
commit 3f37bb7
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -0,0 +1,10 @@
+FROM ubuntu:latest
+RUN apt update \
+    && apt install -y \
+        git build-essential cmake libtool python3 libssl-dev python3-pip \
+        wget curl clang-format-14 clang-tidy-14 golang-go ninja-build redis-tools vim
+RUN echo "export NPROC=$(nproc)" >> $HOME/.bashrc
+RUN apt install -y python3-redis redis-server
+RUN BUILD_DIR=$(pwd) && git clone https://github.com/jsha/minica /opt/minica \
+    && cd /opt/minica && git checkout 96a5c93723cf3d34b50b3e723a9f05cd3765bc67 && go build && cd $BUILD_DIR \
+    && echo 'export PATH=/opt/minica:$PATH' >> $HOME/.bashrc
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,5 @@
+{
+  "build": {
+    "dockerfile": "Dockerfile"
+  }
+}