From 783c534feffe442c063d5a2410081e31c09e9eb8 Mon Sep 17 00:00:00 2001 From: Yuqian Yang Date: Thu, 13 Feb 2025 11:14:10 +0800 Subject: feat(debian-dev): trim it. --- docker/debian-dev/bootstrap/apt-source/11/replace-domain.bash | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 docker/debian-dev/bootstrap/apt-source/11/replace-domain.bash (limited to 'docker/debian-dev/bootstrap/apt-source/11/replace-domain.bash') diff --git a/docker/debian-dev/bootstrap/apt-source/11/replace-domain.bash b/docker/debian-dev/bootstrap/apt-source/11/replace-domain.bash deleted file mode 100755 index 86e88dc..0000000 --- a/docker/debian-dev/bootstrap/apt-source/11/replace-domain.bash +++ /dev/null @@ -1,7 +0,0 @@ -#! /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