Respostas:
Para BetterLock, a instalação padrão do site Cinnamon Spices deve funcionar (veja as instruções no topo desta página ). Usando o Debian Stretch (atualmente 'testando'), a instalação dos menus do sistema falhará. Para corrigi-lo, vá para ~/.local/share/cinnamon/applets
e renomeie a betterlock
pasta para betterlock@entelechy
. Adicioná-lo ao painel deve funcionar agora.
TL; DR: BetterLock pode ser corrigido usando este comando:
mv ~/.local/share/cinnamon/applets/betterlock{,@entelechy}