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 | a7fb0508867ee53934be18a6606aa8bc12c2645b (patch) | |
| tree | 5994f0a62733b13f9f330e3515260ae20dc4a0bd /docker/debian-dev/bootstrap/get-debian-version.bash | |
| parent | 7692763f83ad1be735b0b9e9ab0af8ce666d8de8 (diff) | |
| download | crupest-a7fb0508867ee53934be18a6606aa8bc12c2645b.tar.gz crupest-a7fb0508867ee53934be18a6606aa8bc12c2645b.tar.bz2 crupest-a7fb0508867ee53934be18a6606aa8bc12c2645b.zip | |
HALF WORK: 2024.12.19
Re-organize file structure.
Diffstat (limited to 'docker/debian-dev/bootstrap/get-debian-version.bash')
| -rw-r--r-- | docker/debian-dev/bootstrap/get-debian-version.bash | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docker/debian-dev/bootstrap/get-debian-version.bash b/docker/debian-dev/bootstrap/get-debian-version.bash new file mode 100644 index 0000000..2cc10b9 --- /dev/null +++ b/docker/debian-dev/bootstrap/get-debian-version.bash @@ -0,0 +1,13 @@ +#! /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 |