diff options
author | Joshua Yun <joshua@joshuayun.com> | 2025-02-18 04:47:08 +0000 |
---|---|---|
committer | Joshua Yun <joshua@joshuayun.com> | 2025-02-18 04:47:08 +0000 |
commit | 1bcf7d793861bb0bd1d980ac94dd4962b29e9328 (patch) | |
tree | dfa4e50c419ae02ad2c5e24555cdcb2479e4d971 | |
parent | bbe63db4eb09b3a010f5e64907171e1706504a61 (diff) | |
download | riscv-processor-1bcf7d793861bb0bd1d980ac94dd4962b29e9328.tar.gz |
feat: Delete docker
-rw-r--r-- | docker_tools/Dockerfile | 20 | ||||
-rw-r--r-- | docker_tools/README.md | 12 | ||||
-rw-r--r-- | docker_tools/build.sh | 1 | ||||
-rw-r--r-- | docker_tools/config/README | 2 | ||||
-rw-r--r-- | docker_tools/config/nvim/.gitignore | 2 | ||||
-rw-r--r-- | docker_tools/config/tmux/.gitignore | 2 | ||||
-rw-r--r-- | docker_tools/devbox.sh | 1 | ||||
-rw-r--r-- | docker_tools/docker-compose.yml | 15 |
8 files changed, 0 insertions, 55 deletions
diff --git a/docker_tools/Dockerfile b/docker_tools/Dockerfile deleted file mode 100644 index 7a3b20c..0000000 --- a/docker_tools/Dockerfile +++ /dev/null @@ -1,20 +0,0 @@ -FROM verilator/verilator:latest - -# Install python3 + pip3 for fusesoc -RUN apt-get update \ - && DEBIAN_FRONTEND=noninteractive \ - && apt-get install --no-install-recommends -y \ - curl \ - python3 \ - python3-pip \ - vim \ - neovim \ - tmux \ - && apt-get clean \ - && rm -rf /var/lib/apt/lists/* - -RUN pip3 install --upgrade fusesoc - -WORKDIR /work - -ENTRYPOINT [ "/bin/bash", "-l", "-c" ] diff --git a/docker_tools/README.md b/docker_tools/README.md deleted file mode 100644 index 630e576..0000000 --- a/docker_tools/README.md +++ /dev/null @@ -1,12 +0,0 @@ -# Docker environment setup -This docker container has everything you need to develop. - -To build the docker image, run -``` -./build.sh -``` -To enter the work environment. -``` -./devbox.sh -``` -The config directory mounts to the .config directory in root, for you to add your vim/nvim/tmux configurations. diff --git a/docker_tools/build.sh b/docker_tools/build.sh deleted file mode 100644 index 75a00cd..0000000 --- a/docker_tools/build.sh +++ /dev/null @@ -1 +0,0 @@ -docker build -t devbox:latest . diff --git a/docker_tools/config/README b/docker_tools/config/README deleted file mode 100644 index 530a7de..0000000 --- a/docker_tools/config/README +++ /dev/null @@ -1,2 +0,0 @@ -# Configuration files for your favorite programs -Put all of your config files in here, if you want to add new programs, add new mounts to the docker compose and new programs to the docker file. diff --git a/docker_tools/config/nvim/.gitignore b/docker_tools/config/nvim/.gitignore deleted file mode 100644 index d6b7ef3..0000000 --- a/docker_tools/config/nvim/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -* -!.gitignore diff --git a/docker_tools/config/tmux/.gitignore b/docker_tools/config/tmux/.gitignore deleted file mode 100644 index d6b7ef3..0000000 --- a/docker_tools/config/tmux/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -* -!.gitignore diff --git a/docker_tools/devbox.sh b/docker_tools/devbox.sh deleted file mode 100644 index afd7513..0000000 --- a/docker_tools/devbox.sh +++ /dev/null @@ -1 +0,0 @@ -docker compose run --rm dev_environment /bin/bash diff --git a/docker_tools/docker-compose.yml b/docker_tools/docker-compose.yml deleted file mode 100644 index e7977d9..0000000 --- a/docker_tools/docker-compose.yml +++ /dev/null @@ -1,15 +0,0 @@ -services: - dev_environment: - container_name: devbox - image: devbox:latest - - # Allow for interactive terminal - stdin_open: true - tty: true - - # Mount to repository - volumes: - - ../:/work - - ./config/nvim:/root/.config/nvim - - ./config/tmux:/root/.config/tmux - |