aboutsummaryrefslogtreecommitdiff
path: root/docker/crupest-debian-dev/bootstrap/get-debian-version.bash
diff options
context:
space:
mode:
authorcrupest <crupest@outlook.com>2024-08-14 00:28:12 +0800
committercrupest <crupest@outlook.com>2024-08-14 22:58:21 +0800
commitfed3a15e621b530eb1b52cdea8544c51204a483c (patch)
tree4141dbea334763699c16c95183fa49269e97e629 /docker/crupest-debian-dev/bootstrap/get-debian-version.bash
parent8cb9b351b122ef17b6026cce0d45432c5c28745d (diff)
downloadcrupest-fed3a15e621b530eb1b52cdea8544c51204a483c.tar.gz
crupest-fed3a15e621b530eb1b52cdea8544c51204a483c.tar.bz2
crupest-fed3a15e621b530eb1b52cdea8544c51204a483c.zip
feat(docker/debian-dev): support both 11 and 12 for apt source.
Diffstat (limited to 'docker/crupest-debian-dev/bootstrap/get-debian-version.bash')
-rwxr-xr-xdocker/crupest-debian-dev/bootstrap/get-debian-version.bash11
1 files changed, 11 insertions, 0 deletions
diff --git a/docker/crupest-debian-dev/bootstrap/get-debian-version.bash b/docker/crupest-debian-dev/bootstrap/get-debian-version.bash
new file mode 100755
index 0000000..305e628
--- /dev/null
+++ b/docker/crupest-debian-dev/bootstrap/get-debian-version.bash
@@ -0,0 +1,11 @@
+#! /usr/bin/env bash
+
+if [ -f /etc/os-release ]; then
+ . /etc/os-release
+ if [ "$ID" = "debian" ]; then
+ echo "$VERSION_ID"
+ exit 0
+ fi
+else
+
+exit 1