diff options
| author | Yuqian Yang <crupest@crupest.life> | 2025-02-13 11:14:10 +0800 |
|---|---|---|
| committer | Yuqian Yang <crupest@crupest.life> | 2025-02-20 23:07:54 +0800 |
| commit | 56611f29e11f8729cf43ca422dd557f201727846 (patch) | |
| tree | c858cf3a1515e1ad36c18a267fd44e15d524f136 /docker/debian-dev/bootstrap/get-debian-version.bash | |
| parent | f4c3bd4a2eae6861a6b6c053ab62b6538b64a1ff (diff) | |
| download | crupest-56611f29e11f8729cf43ca422dd557f201727846.tar.gz crupest-56611f29e11f8729cf43ca422dd557f201727846.tar.bz2 crupest-56611f29e11f8729cf43ca422dd557f201727846.zip | |
feat(debian-dev): trim it.
Diffstat (limited to 'docker/debian-dev/bootstrap/get-debian-version.bash')
| -rwxr-xr-x | docker/debian-dev/bootstrap/get-debian-version.bash | 13 |
1 files changed, 0 insertions, 13 deletions
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 |