diff options
| author | crupest <crupest@outlook.com> | 2024-08-14 00:28:12 +0800 |
|---|---|---|
| committer | crupest <crupest@outlook.com> | 2024-08-14 22:58:21 +0800 |
| commit | 61cd7dabdd2c5272a952edd40dffcbc368b596b1 (patch) | |
| tree | 4141dbea334763699c16c95183fa49269e97e629 /docker/crupest-debian-dev/bootstrap/get-debian-version.bash | |
| parent | fa5eb7f373ae37ba5e9838aeb75809e0c0884cea (diff) | |
| download | crupest-61cd7dabdd2c5272a952edd40dffcbc368b596b1.tar.gz crupest-61cd7dabdd2c5272a952edd40dffcbc368b596b1.tar.bz2 crupest-61cd7dabdd2c5272a952edd40dffcbc368b596b1.zip | |
feat(docker/debian-dev): support both 11 and 12 for apt source.
Diffstat (limited to 'docker/crupest-debian-dev/bootstrap/get-debian-version.bash')
| -rwxr-xr-x | docker/crupest-debian-dev/bootstrap/get-debian-version.bash | 11 |
1 files changed, 11 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..305e628 --- /dev/null +++ b/docker/crupest-debian-dev/bootstrap/get-debian-version.bash @@ -0,0 +1,11 @@ +#! /usr/bin/env bash + +if [ -f /etc/os-release ]; then + . /etc/os-release + if [ "$ID" = "debian" ]; then + echo "$VERSION_ID" + exit 0 + fi +else + +exit 1 |