From 783c534feffe442c063d5a2410081e31c09e9eb8 Mon Sep 17 00:00:00 2001
From: Yuqian Yang <crupest@crupest.life>
Date: Thu, 13 Feb 2025 11:14:10 +0800
Subject: feat(debian-dev): trim it.

---
 docker/debian-dev/bootstrap/apt-source/setup.bash | 34 -----------------------
 1 file changed, 34 deletions(-)
 delete mode 100755 docker/debian-dev/bootstrap/apt-source/setup.bash

(limited to 'docker/debian-dev/bootstrap/apt-source/setup.bash')

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."
-- 
cgit v1.2.3