diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2020-07-25 14:09:33 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2020-07-25 14:09:33 +0200 |
| commit | 69c37c781e071f741ce70e41ccd8ee36740eff38 (patch) | |
| tree | c3c92a2126f4a6468f780e35ddaf2fa31c232399 /bin/ubuntu-codename-to-version.sh | |
| parent | 5e476e36b9a4b0baed08f145514d9f3429125942 (diff) | |
| download | buildscripts-69c37c781e071f741ce70e41ccd8ee36740eff38.tar.gz buildscripts-69c37c781e071f741ce70e41ccd8ee36740eff38.tar.bz2 buildscripts-69c37c781e071f741ce70e41ccd8ee36740eff38.zip | |
Update supported Ubuntu versions.
Diffstat (limited to 'bin/ubuntu-codename-to-version.sh')
| -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 7e375f4..f750836 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";; + ("groovy") echo "20.10";; + ("focal") echo "20.04";; ("eoan") echo "19.10";; ("disco") echo "19.04";; ("cosmic") echo "18.10";; |