Tools: add jolnir on install script

Allow to install dev environment on distros that have 'jolnir' as release name
2023-03-20 19:56:13 +00:00 · 2023-03-20 19:56:13 +00:00 · 522f480b2d
parent 0408ff0ab1
commit 522f480b2d
1 changed files with 1 additions and 1 deletions
--- a/Tools/environment_install/install-prereqs-ubuntu.sh
+++ b/Tools/environment_install/install-prereqs-ubuntu.sh
@ -65,7 +65,7 @@ case ${RELEASE_CODENAME} in
    vanessa)
        RELEASE_CODENAME='jammy'
        ;;
-    una | uma | ulyssa | ulyana)
+    una | uma | ulyssa | ulyana | jolnir)
        RELEASE_CODENAME='focal'
        ;;
    tricia | tina | tessa | tara)