From 467820bc366e46fd07651e0cb647b623b8f5ff56 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