diff options
| author | crupest <crupest@outlook.com> | 2024-11-11 01:12:29 +0800 |
|---|---|---|
| committer | Yuqian Yang <crupest@crupest.life> | 2024-12-19 21:42:01 +0800 |
| commit | f9aa02ec1a4c24e80a206857d4f68198bb027bb4 (patch) | |
| tree | 5994f0a62733b13f9f330e3515260ae20dc4a0bd /docker/crupest-debian-dev/bootstrap/get-debian-version.bash | |
| parent | 7b4d49e4bbdff6ddf1f8f7e937130e700024d5e9 (diff) | |
| download | crupest-f9aa02ec1a4c24e80a206857d4f68198bb027bb4.tar.gz crupest-f9aa02ec1a4c24e80a206857d4f68198bb027bb4.tar.bz2 crupest-f9aa02ec1a4c24e80a206857d4f68198bb027bb4.zip | |
HALF WORK: 2024.12.19
Re-organize file structure.
Diffstat (limited to 'docker/crupest-debian-dev/bootstrap/get-debian-version.bash')
| -rwxr-xr-x | docker/crupest-debian-dev/bootstrap/get-debian-version.bash | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/docker/crupest-debian-dev/bootstrap/get-debian-version.bash b/docker/crupest-debian-dev/bootstrap/get-debian-version.bash deleted file mode 100755 index 2cc10b9..0000000 --- a/docker/crupest-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 |