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 | 56611f29e11f8729cf43ca422dd557f201727846 (patch) | |
| tree | c858cf3a1515e1ad36c18a267fd44e15d524f136 /docker/debian-dev/bootstrap/apt-source/setup.bash | |
| parent | f4c3bd4a2eae6861a6b6c053ab62b6538b64a1ff (diff) | |
| download | crupest-56611f29e11f8729cf43ca422dd557f201727846.tar.gz crupest-56611f29e11f8729cf43ca422dd557f201727846.tar.bz2 crupest-56611f29e11f8729cf43ca422dd557f201727846.zip | |
feat(debian-dev): trim it.
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." |