From 8fe3578e17757a50f8285a2759c6b149fe85a0b0 Mon Sep 17 00:00:00 2001 From: crupest Date: Tue, 13 Aug 2024 22:45:45 +0800 Subject: feat(docker/debian-dev): remove code-server and merge it to debian-dev. --- docker/debian-dev/bootstrap/bash-profile/dev.bash | 1 - 1 file changed, 1 deletion(-) delete mode 100644 docker/debian-dev/bootstrap/bash-profile/dev.bash (limited to 'docker/debian-dev/bootstrap/bash-profile/dev.bash') diff --git a/docker/debian-dev/bootstrap/bash-profile/dev.bash b/docker/debian-dev/bootstrap/bash-profile/dev.bash deleted file mode 100644 index c49dc35..0000000 --- a/docker/debian-dev/bootstrap/bash-profile/dev.bash +++ /dev/null @@ -1 +0,0 @@ -alias cp-no-git="rsync -a --exclude='**/.git'" -- cgit v1.2.3