Краткий совет по Linux:

Хотите проверить, какой у вас дистрибутив? Используйте команду

$ cat /etc/os-release

Вывод команды отображает поля имени дистрибутива, версии и идентификатора.
Работает на большинстве современных систем Linux.