diff options
| author | crupest <crupest@outlook.com> | 2024-08-15 00:08:43 +0800 |
|---|---|---|
| committer | crupest <crupest@outlook.com> | 2024-08-15 00:08:43 +0800 |
| commit | 909c5e8aa53017eaffd4171835b3c66949c64f7f (patch) | |
| tree | 09504e7755b7803e518baaa11d255f35ed6c9817 /docker/crupest-debian-dev/bootstrap/get-debian-version.bash | |
| parent | 1bca7471d864bf859a6189a87adf92856729ec97 (diff) | |
| parent | d50545a36323e7a9775ab933021a94a9d98058f4 (diff) | |
| download | crupest-909c5e8aa53017eaffd4171835b3c66949c64f7f.tar.gz crupest-909c5e8aa53017eaffd4171835b3c66949c64f7f.tar.bz2 crupest-909c5e8aa53017eaffd4171835b3c66949c64f7f.zip | |
Merge branch 'debian-dev'
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, 13 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..2cc10b9 --- /dev/null +++ b/docker/crupest-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 |