Enable Debian buster

for non experts. Its in decent shape, small bugs will eventually be fixed and official release is just around the corner.
This commit is contained in:
Igor Pečovnik 2019-07-06 11:33:33 +02:00 committed by GitHub
parent 76ac54aae3
commit 79ef5ccf4d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -249,7 +249,7 @@ if [[ $KERNEL_ONLY != yes && -z $RELEASE ]]; then
options=()
[[ $EXPERT = yes ]] && options+=("jessie" "Debian 8 Jessie / unsupported")
options+=("stretch" "Debian 9 Stretch")
[[ $EXPERT = yes ]] && options+=("buster" "Debian 10 Buster / unsupported")
options+=("buster" "Debian 10 Buster")
options+=("xenial" "Ubuntu Xenial 16.04 LTS")
options+=("bionic" "Ubuntu Bionic 18.04 LTS")
[[ $EXPERT = yes ]] && options+=("disco" "Ubuntu Disco 19.04 / unsupported")