Use short distro name, if the linux distro has no codename
Add support for pacman