diff options
| author | Yuqian Yang <crupest@crupest.life> | 2025-02-13 11:14:10 +0800 |
|---|---|---|
| committer | Yuqian Yang <crupest@crupest.life> | 2025-02-20 23:07:54 +0800 |
| commit | 5219414d4c75b6c1561d6f57d0814bfc865096a1 (patch) | |
| tree | 5acf87e12e2a6b4d860b40e13a0aa0b604e737b6 /docker/debian-dev/bootstrap/apt-source/12/replace-domain.bash | |
| parent | c8be4e6d6e3b46c9c012fd10794fd8fe3f45dc3e (diff) | |
| download | crupest-5219414d4c75b6c1561d6f57d0814bfc865096a1.tar.gz crupest-5219414d4c75b6c1561d6f57d0814bfc865096a1.tar.bz2 crupest-5219414d4c75b6c1561d6f57d0814bfc865096a1.zip | |
feat(debian-dev): trim it.
Diffstat (limited to 'docker/debian-dev/bootstrap/apt-source/12/replace-domain.bash')
| -rwxr-xr-x | docker/debian-dev/bootstrap/apt-source/12/replace-domain.bash | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docker/debian-dev/bootstrap/apt-source/12/replace-domain.bash b/docker/debian-dev/bootstrap/apt-source/12/replace-domain.bash deleted file mode 100755 index d55307c..0000000 --- a/docker/debian-dev/bootstrap/apt-source/12/replace-domain.bash +++ /dev/null @@ -1,7 +0,0 @@ -#! /usr/bin/env bash - -set -e - -echo "Backup /etc/apt/sources.list.d/debian.sources to /etc/apt/sources.list.d/debian.sources.bak." -echo "Replace source domain in /etc/apt/sources.list.d/debian.sources to $1." -sed -i.bak -E "s|(URIs:\\s*https?://)[-_.a-zA-Z0-9]+(/.*)|\\1$1\\2|" /etc/apt/sources.list.d/debian.sources |