diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-11-14 15:29:51 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-11-14 15:29:51 +0100 |
| commit | fb10ffaa4adb3959d2635ba56be8bd30075daed1 (patch) | |
| tree | 32fde01f8e8ec9001d77186cebfa4dd5a851b6af | |
| parent | a964311cf84be1c7938db3b3b8c3e3b40ce019c4 (diff) | |
| download | buildscripts-fb10ffaa4adb3959d2635ba56be8bd30075daed1.tar.gz buildscripts-fb10ffaa4adb3959d2635ba56be8bd30075daed1.tar.bz2 buildscripts-fb10ffaa4adb3959d2635ba56be8bd30075daed1.zip | |
bin/ubuntu-codename-to-version.sh: Add cosmic and disco here, too.
| -rwxr-xr-x | bin/ubuntu-codename-to-version.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/ubuntu-codename-to-version.sh b/bin/ubuntu-codename-to-version.sh index 6dab1d5..e7c6870 100755 --- a/bin/ubuntu-codename-to-version.sh +++ b/bin/ubuntu-codename-to-version.sh @@ -47,6 +47,8 @@ case "${codename}" in # we can't really do better here. ("devel") echo "9999";; + ("disco") echo "19.04";; + ("cosmic") echo "18.10";; ("bionic") echo "18.04";; ("artful") echo "17.10";; ("zesty") echo "17.04";; |