diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2017-10-30 15:26:51 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2017-10-30 15:26:51 +0100 |
| commit | 0a27a374a63ba48da12a6e7ef6f5a711c655b513 (patch) | |
| tree | 874beda396802a72ba4d5dfaedf356f09a9b404c | |
| parent | be51a1b7683d0913bca6e94e16fd23c0a07d1d61 (diff) | |
| download | buildscripts-0a27a374a63ba48da12a6e7ef6f5a711c655b513.tar.gz buildscripts-0a27a374a63ba48da12a6e7ef6f5a711c655b513.tar.bz2 buildscripts-0a27a374a63ba48da12a6e7ef6f5a711c655b513.zip | |
ubuntu-codename-to-version.sh: Update for Ubuntu 18.04.
| -rwxr-xr-x | bin/ubuntu-codename-to-version.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/ubuntu-codename-to-version.sh b/bin/ubuntu-codename-to-version.sh index 5abd98e..6dab1d5 100755 --- a/bin/ubuntu-codename-to-version.sh +++ b/bin/ubuntu-codename-to-version.sh @@ -47,6 +47,7 @@ case "${codename}" in # we can't really do better here. ("devel") echo "9999";; + ("bionic") echo "18.04";; ("artful") echo "17.10";; ("zesty") echo "17.04";; ("yakkety") echo "16.10";; |