diff options
Diffstat (limited to 'docker/debian-dev/bootstrap/apt-source/setup.bash')
| -rw-r--r-- | docker/debian-dev/bootstrap/apt-source/setup.bash | 34 | 
1 files changed, 34 insertions, 0 deletions
diff --git a/docker/debian-dev/bootstrap/apt-source/setup.bash b/docker/debian-dev/bootstrap/apt-source/setup.bash new file mode 100644 index 0000000..cdf68af --- /dev/null +++ b/docker/debian-dev/bootstrap/apt-source/setup.bash @@ -0,0 +1,34 @@ +#! /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."  | 
