os
,
linux
,
distrib
Ubuntu + Cinnamon
ppa
ppa:gwendal-lebihan-dev/cinnamon-nightly