diff options
Diffstat (limited to 'docker/debian-dev/bootstrap/apt-source')
6 files changed, 0 insertions, 39 deletions
diff --git a/docker/debian-dev/bootstrap/apt-source/china-source.txt b/docker/debian-dev/bootstrap/apt-source/china-source.txt deleted file mode 100644 index 3821ffc..0000000 --- a/docker/debian-dev/bootstrap/apt-source/china-source.txt +++ /dev/null @@ -1 +0,0 @@ -mirrors.ustc.edu.cn diff --git a/docker/debian-dev/bootstrap/apt-source/get-domain.bash b/docker/debian-dev/bootstrap/apt-source/get-domain.bash deleted file mode 100755 index d44ea65..0000000 --- a/docker/debian-dev/bootstrap/apt-source/get-domain.bash +++ /dev/null @@ -1,5 +0,0 @@ -#! /usr/bin/env bash - -set -e - -sed "s|.*https\?://\([-_.a-zA-Z0-9]\+\)/.*|\\1|;q" /etc/apt/sources.list diff --git a/docker/debian-dev/bootstrap/apt-source/install-apt-https.bash b/docker/debian-dev/bootstrap/apt-source/install-apt-https.bash deleted file mode 100755 index 05d372b..0000000 --- a/docker/debian-dev/bootstrap/apt-source/install-apt-https.bash +++ /dev/null @@ -1,7 +0,0 @@ -#! /usr/bin/env bash - -set -e - -echo "Install apt https transport." -apt-get update -apt-get install -y apt-transport-https ca-certificates 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 diff --git a/docker/debian-dev/bootstrap/apt-source/replace-http.bash b/docker/debian-dev/bootstrap/apt-source/replace-http.bash deleted file mode 100755 index fae082a..0000000 --- a/docker/debian-dev/bootstrap/apt-source/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.bak." -echo "Replace http to https in /etc/apt/sources.list." -sed -i.bak 's/https\?/https/' /etc/apt/sources.list diff --git a/docker/debian-dev/bootstrap/apt-source/setup.bash b/docker/debian-dev/bootstrap/apt-source/setup.bash deleted file mode 100755 index 60e635b..0000000 --- a/docker/debian-dev/bootstrap/apt-source/setup.bash +++ /dev/null @@ -1,12 +0,0 @@ -#! /usr/bin/env bash - -set -e - -dir=$(dirname "$0") - -if [[ -n $IN_CHINA ]]; then - "$dir/replace-domain.bash" "$(cat "$dir/china-source.txt")" -fi - -"$dir/install-apt-https.bash" -"$dir/replace-http.bash" |