diff options
author | Larry Du <ldu0894@gmail.com> | 2025-02-17 06:42:46 +0000 |
---|---|---|
committer | Larry Du <ldu0894@gmail.com> | 2025-02-17 06:42:46 +0000 |
commit | bed08974f66c5949d8bf07da563dcf426f47c395 (patch) | |
tree | 859453def5810b204b3ac0c2fc8cdc2c33cf31b4 /docker_tools/devbox.sh | |
parent | 8a4942ca96bc32c3f273a26ceda536adadac0615 (diff) | |
download | riscv-processor-bed08974f66c5949d8bf07da563dcf426f47c395.tar.gz |
refactor: Renamed 'tools' to 'docker_tools'
Diffstat (limited to 'docker_tools/devbox.sh')
-rw-r--r-- | docker_tools/devbox.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker_tools/devbox.sh b/docker_tools/devbox.sh new file mode 100644 index 0000000..afd7513 --- /dev/null +++ b/docker_tools/devbox.sh @@ -0,0 +1 @@ +docker compose run --rm dev_environment /bin/bash |