diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2017-06-23 16:08:20 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2017-06-23 16:08:20 +0200 |
| commit | 874f6a94bb8998b8dbdfa0a9908050b3aff6036a (patch) | |
| tree | 495c5f7cc9a0cfe8c41418adcf720452835d56d5 /bin/ubuntu-codename-to-version.sh | |
| parent | 66508985dd6049445d7a340c2dc22e7fa41cd367 (diff) | |
| download | buildscripts-874f6a94bb8998b8dbdfa0a9908050b3aff6036a.tar.gz buildscripts-874f6a94bb8998b8dbdfa0a9908050b3aff6036a.tar.bz2 buildscripts-874f6a94bb8998b8dbdfa0a9908050b3aff6036a.zip | |
update ubuntu-codename-to-version.sh and debian-codename-to-version.sh. Let them know about Debian buster and Ubuntu artful.
Diffstat (limited to 'bin/ubuntu-codename-to-version.sh')
| -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 d0be3ab..5abd98e 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";; + ("artful") echo "17.10";; ("zesty") echo "17.04";; ("yakkety") echo "16.10";; ("xenial") echo "16.04";; |