From 56611f29e11f8729cf43ca422dd557f201727846 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/get-debian-version.bash | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100755 docker/debian-dev/bootstrap/get-debian-version.bash

(limited to 'docker/debian-dev/bootstrap/get-debian-version.bash')

diff --git a/docker/debian-dev/bootstrap/get-debian-version.bash b/docker/debian-dev/bootstrap/get-debian-version.bash
deleted file mode 100755
index 2cc10b9..0000000
--- a/docker/debian-dev/bootstrap/get-debian-version.bash
+++ /dev/null
@@ -1,13 +0,0 @@
-#! /usr/bin/env bash
-
-set -e
-
-if [ -f /etc/os-release ]; then
-    . /etc/os-release
-    if [ "$ID" = "debian" ]; then
-        echo "$VERSION_ID"
-        exit 0
-    fi
-fi
-
-exit 1
-- 
cgit v1.2.3