From ad5c3b81ecf44641673245e950761fea91f8bad3 Mon Sep 17 00:00:00 2001 From: crupest Date: Tue, 13 Aug 2024 23:33:42 +0800 Subject: refactor(docker/debian-dev): rename debian-dev to crupest-debian-dev. --- docker/crupest-debian-dev/bootstrap/apt-source/replace-domain.bash | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 docker/crupest-debian-dev/bootstrap/apt-source/replace-domain.bash (limited to 'docker/crupest-debian-dev/bootstrap/apt-source/replace-domain.bash') diff --git a/docker/crupest-debian-dev/bootstrap/apt-source/replace-domain.bash b/docker/crupest-debian-dev/bootstrap/apt-source/replace-domain.bash new file mode 100755 index 0000000..86e88dc --- /dev/null +++ b/docker/crupest-debian-dev/bootstrap/apt-source/replace-domain.bash @@ -0,0 +1,7 @@ +#! /usr/bin/env bash + +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 -- cgit v1.2.3