diff options
author | crupest <crupest@outlook.com> | 2024-11-11 01:12:29 +0800 |
---|---|---|
committer | Yuqian Yang <crupest@crupest.life> | 2024-12-19 21:42:01 +0800 |
commit | a7fb0508867ee53934be18a6606aa8bc12c2645b (patch) | |
tree | 5994f0a62733b13f9f330e3515260ae20dc4a0bd /docker/crupest-debian-dev/bootstrap/apt-source/12 | |
parent | 7692763f83ad1be735b0b9e9ab0af8ce666d8de8 (diff) | |
download | crupest-a7fb0508867ee53934be18a6606aa8bc12c2645b.tar.gz crupest-a7fb0508867ee53934be18a6606aa8bc12c2645b.tar.bz2 crupest-a7fb0508867ee53934be18a6606aa8bc12c2645b.zip |
HALF WORK: 2024.12.19
Re-organize file structure.
Diffstat (limited to 'docker/crupest-debian-dev/bootstrap/apt-source/12')
4 files changed, 0 insertions, 42 deletions
diff --git a/docker/crupest-debian-dev/bootstrap/apt-source/12/add-deb-src.bash b/docker/crupest-debian-dev/bootstrap/apt-source/12/add-deb-src.bash deleted file mode 100755 index cf741d6..0000000 --- a/docker/crupest-debian-dev/bootstrap/apt-source/12/add-deb-src.bash +++ /dev/null @@ -1,22 +0,0 @@ -#! /usr/bin/env bash - -set -e - -dir=$(dirname "$0") -domain=$("$dir/get-domain.bash") - -cat <<EOF >> /etc/apt/sources.list.d/debian.sources - -Types: deb-src -URIs: https://$domain/debian -Suites: bookworm bookworm-updates -Components: main -Signed-By: /usr/share/keyrings/debian-archive-keyring.gpg - -Types: deb-src -URIs: https://$domain/debian-security -Suites: bookworm-security -Components: main -Signed-By: /usr/share/keyrings/debian-archive-keyring.gpg - -EOF
\ No newline at end of file diff --git a/docker/crupest-debian-dev/bootstrap/apt-source/12/get-domain.bash b/docker/crupest-debian-dev/bootstrap/apt-source/12/get-domain.bash deleted file mode 100755 index a24538c..0000000 --- a/docker/crupest-debian-dev/bootstrap/apt-source/12/get-domain.bash +++ /dev/null @@ -1,6 +0,0 @@ -#! /usr/bin/env bash - -set -e - -grep -e 'URIs:' /etc/apt/sources.list.d/debian.sources | \ - sed -E 's|URIs:\s*https?://([-_.a-zA-Z0-9]+)/.*|\1|;q' diff --git a/docker/crupest-debian-dev/bootstrap/apt-source/12/replace-domain.bash b/docker/crupest-debian-dev/bootstrap/apt-source/12/replace-domain.bash deleted file mode 100755 index d55307c..0000000 --- a/docker/crupest-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 diff --git a/docker/crupest-debian-dev/bootstrap/apt-source/12/replace-http.bash b/docker/crupest-debian-dev/bootstrap/apt-source/12/replace-http.bash deleted file mode 100755 index ed4391d..0000000 --- a/docker/crupest-debian-dev/bootstrap/apt-source/12/replace-http.bash +++ /dev/null @@ -1,7 +0,0 @@ -#! /usr/bin/env bash - -set -e - -echo "Backup /etc/apt/sources.list to /etc/apt/sources.list.d/debian.sources.bak." -echo "Replace http to https in /etc/apt/sources.list.d/debian.sources." -sed -i.bak -E "s|(URIs:\\s*)https?(://[-_.a-zA-Z0-9]+/.*)|\\1https\\2|" /etc/apt/sources.list.d/debian.sources |