diff options
Diffstat (limited to 'docker/debian-dev/bootstrap/apt-source/setup.bash')
| -rwxr-xr-x | docker/debian-dev/bootstrap/apt-source/setup.bash | 34 |
1 files changed, 0 insertions, 34 deletions
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 cdf68af..0000000 --- a/docker/debian-dev/bootstrap/apt-source/setup.bash +++ /dev/null @@ -1,34 +0,0 @@ -#! /usr/bin/env bash - -set -e - -dir=/bootstrap/apt-source - -echo "Getting debian version..." -debian_version=$("$dir/../get-debian-version.bash") - -if [[ -z $debian_version ]]; then - echo "Debian version not found." - exit 1 -else - echo "Debian version: $debian_version" -fi - -if [[ $debian_version -ge 12 ]]; then - setup_dir=$dir/12 -else - setup_dir=$dir/11 -fi - -echo "Setting up apt source..." - -if [[ -n $CRUPEST_DEBIAN_DEV_IN_CHINA ]]; then - echo "In China, using China source..." - "$setup_dir/replace-domain.bash" "$(cat "$dir/china-source.txt")" -fi - -"$dir/install-apt-https.bash" -"$setup_dir/replace-http.bash" -"$setup_dir/add-deb-src.bash" - -echo "Setting up apt source done." |