diff options
| -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";; |