diff options
| author | crupest <crupest@outlook.com> | 2024-08-15 00:08:43 +0800 |
|---|---|---|
| committer | crupest <crupest@outlook.com> | 2024-08-15 00:08:43 +0800 |
| commit | 0dc32c4f8da4f0f52e857775aa240eb3ddca0e9c (patch) | |
| tree | 09504e7755b7803e518baaa11d255f35ed6c9817 /docker/debian-dev/bootstrap/apt-source/replace-domain.bash | |
| parent | bb241f176557341187575c5d74049d4e358d7cd3 (diff) | |
| parent | f7c13845654289838cd933b2156abd6e7ae575a5 (diff) | |
| download | crupest-0dc32c4f8da4f0f52e857775aa240eb3ddca0e9c.tar.gz crupest-0dc32c4f8da4f0f52e857775aa240eb3ddca0e9c.tar.bz2 crupest-0dc32c4f8da4f0f52e857775aa240eb3ddca0e9c.zip | |
Merge branch 'debian-dev'
Diffstat (limited to 'docker/debian-dev/bootstrap/apt-source/replace-domain.bash')
| -rwxr-xr-x | docker/debian-dev/bootstrap/apt-source/replace-domain.bash | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docker/debian-dev/bootstrap/apt-source/replace-domain.bash b/docker/debian-dev/bootstrap/apt-source/replace-domain.bash deleted file mode 100755 index 86e88dc..0000000 --- a/docker/debian-dev/bootstrap/apt-source/replace-domain.bash +++ /dev/null @@ -1,7 +0,0 @@ -#! /usr/bin/env bash - -set -e - -echo "Backup /etc/apt/sources.list to /etc/apt/sources.list.bak." -echo "Replace source domain in /etc/apt/sources.list to $1." -sed -i.bak "s|\(https\?://\)[-_.a-zA-Z0-9]\+/|\\1$1/|" /etc/apt/sources.list |