diff options
| author | crupest <crupest@outlook.com> | 2024-08-14 00:28:12 +0800 |
|---|---|---|
| committer | crupest <crupest@outlook.com> | 2024-08-14 23:59:11 +0800 |
| commit | e136b538b252236d4bbe9e8ff57051df35ab0c09 (patch) | |
| tree | 9b91d040e2513f20330ac1e810b780c5214b6079 /docker/crupest-debian-dev/bootstrap/get-debian-version.bash | |
| parent | bf534eb00fc1aae5f12800981fc00e018282cd72 (diff) | |
| download | crupest-e136b538b252236d4bbe9e8ff57051df35ab0c09.tar.gz crupest-e136b538b252236d4bbe9e8ff57051df35ab0c09.tar.bz2 crupest-e136b538b252236d4bbe9e8ff57051df35ab0c09.zip | |
feat(docker/debian-dev): add deb-src and llvm for china.
Diffstat (limited to 'docker/crupest-debian-dev/bootstrap/get-debian-version.bash')
| -rwxr-xr-x | docker/crupest-debian-dev/bootstrap/get-debian-version.bash | 2 |
1 files changed, 2 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 index 9cd468a..2cc10b9 100755 --- a/docker/crupest-debian-dev/bootstrap/get-debian-version.bash +++ b/docker/crupest-debian-dev/bootstrap/get-debian-version.bash @@ -1,5 +1,7 @@ #! /usr/bin/env bash +set -e + if [ -f /etc/os-release ]; then . /etc/os-release if [ "$ID" = "debian" ]; then |