linux-mint. Потому что дистрибутив называется именно "Linux Mint" и под названием просто "Mint" лично я (как его пользователь) видел всего в двух контекстах:
- короткий идентификатор дистрибутива (упоминается в RVM при установке зависимостей)
- в разговорах (см. о жаргонизмахо жаргонизмах)
В домене, на логотипе и в названиях образов он называется именно "Linux Mint", linuxmint
или иным образом, подходящим под /linux.*mint/i
.