Voila une commande pour déconnecter un utilisateur :
skill -kill veronique
(Évidemment, c'est valable pour veronique, germain, françois, jean-pascal, ...)
Ça peut être utile pour les admins, ou si une application lancée par un utilisateur accapare trop de ressources.
Lancée en tant que root, cette commande permet de déconnecter n'importe qui.
Lancée en tant qu'utilisateur, cette commande permet de se déconnecter soi-même (Donc aucun intérêt : il est plus rapide de taper
exit ou, encore mieux, de faire Ctrl+D pour se déconnecter rapidement)
Pour connaître la liste des utilisateurs actuellement connectés :
users
PS : Une bonne âme peut-elle vérifier que ceci marche bien avec Ubuntu ? Parce ce n'est pas sur Ubuntu que j'ai booté là 😛 ...