From 31fd37e651d54af5ea8e4ef62fa95861c0c63242 Mon Sep 17 00:00:00 2001 From: crupest Date: Tue, 21 Nov 2023 19:55:36 +0800 Subject: docker(debian-dev): improve apt-source. --- docker/debian-dev/bootstrap/apt-source/replace-domain.bash | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docker/debian-dev/bootstrap/apt-source/replace-domain.bash') diff --git a/docker/debian-dev/bootstrap/apt-source/replace-domain.bash b/docker/debian-dev/bootstrap/apt-source/replace-domain.bash index cef36a3..86e88dc 100755 --- a/docker/debian-dev/bootstrap/apt-source/replace-domain.bash +++ b/docker/debian-dev/bootstrap/apt-source/replace-domain.bash @@ -2,6 +2,6 @@ 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 -apt-get update - -- cgit v1.2.3