rename

2025-01-14 10:59:19 +01:00
parent 3b71b7f1ca
commit 0674fa56b9
11 changed files with 0 additions and 1 deletions
--- a/docker/herolib/.gitignore
+++ b/docker/herolib/.gitignore
--- a/docker/herolib/Dockerfile
+++ b/docker/herolib/Dockerfile
--- a/docker/herolib/build.sh
+++ b/docker/herolib/build.sh
--- a/docker/herolib/debug.sh
+++ b/docker/herolib/debug.sh
--- a/docker/herolib/docker-compose.yml
+++ b/docker/herolib/docker-compose.yml
--- a/docker/herolib/scripts/install_herolib.vsh
+++ b/docker/herolib/scripts/install_herolib.vsh
--- a/docker/herolib/scripts/install_v.sh
+++ b/docker/herolib/scripts/install_v.sh
--- a/docker/herolib/scripts/install_vscode.sh
+++ b/docker/herolib/scripts/install_vscode.sh
--- a/docker/herolib/scripts/ourinit.sh
+++ b/docker/herolib/scripts/ourinit.sh
--- a/docker/herolib/start.sh
+++ b/docker/herolib/start.sh
--- a/docker/vscode.sh
+++ b/docker/vscode.sh
@@ -1 +0,0 @@
-docker run -it --init -p 4000:3000 -v "$(pwd):/home/workspace:cached" gitpod/openvscode-server
				`@@ -1 +0,0 @@`
				`docker run -it --init -p 4000:3000 -v "$(pwd):/home/workspace:cached" gitpod/openvscode-server`