Odpowiedzi:
W przypadku BetterLock domyślna instalacja ze strony Cinnamon Spices powinna działać (patrz instrukcje na górze tej strony ). Przy użyciu Debian Stretch (obecnie „testowanie”) instalacja z menu systemowego zakończy się niepowodzeniem. Aby to naprawić, przejdź do folderu ~/.local/share/cinnamon/applets
i zmień jego nazwę na . Dodanie go do panelu powinno już działać.betterlock
betterlock@entelechy
TL; DR: BetterLock można naprawić za pomocą tego polecenia:
mv ~/.local/share/cinnamon/applets/betterlock{,@entelechy}