diff options
author | crupest <crupest@outlook.com> | 2023-11-13 13:46:35 +0800 |
---|---|---|
committer | crupest <crupest@outlook.com> | 2023-11-13 13:47:29 +0800 |
commit | e780b089b6d86941f6c03061a2a7a54ae4ec36de (patch) | |
tree | 2d186fe0c334ebd7d4e35e2a3983e60ffc53d375 /docker/debian-dev/bootstrap/apt-source/setup.bash | |
parent | ed1df454af6e3c8726a80f32cc6db8e9d42d046f (diff) | |
download | crupest-e780b089b6d86941f6c03061a2a7a54ae4ec36de.tar.gz crupest-e780b089b6d86941f6c03061a2a7a54ae4ec36de.tar.bz2 crupest-e780b089b6d86941f6c03061a2a7a54ae4ec36de.zip |
(docker:debian-dev) Refactor sources management. Improve build scripts.
Diffstat (limited to 'docker/debian-dev/bootstrap/apt-source/setup.bash')
-rwxr-xr-x | docker/debian-dev/bootstrap/apt-source/setup.bash | 12 |
1 files changed, 12 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 100755 index 0000000..9f74cb6 --- /dev/null +++ b/docker/debian-dev/bootstrap/apt-source/setup.bash @@ -0,0 +1,12 @@ +#! /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/replace-http.bash" + |