Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
tutoriel:changer_un_identifiant_de_compte [Le 20/10/2017, 18:37]
176.180.137.2 [Addendum : groupmod pour modifier les noms des groupes d'utilisateurs]
tutoriel:changer_un_identifiant_de_compte [Le 16/08/2019, 20:24] (Version actuelle)
176.177.5.83 [Changer l'identifiant d'un compte d'utilisateur à partir d'un autre compte d'administrateur]
Ligne 45: Ligne 45:
   - Denise ne doit pas avoir de session active en cours. Si c'est le cas, elle doit d'​abord clôturer toutes ses sessions ;   - Denise ne doit pas avoir de session active en cours. Si c'est le cas, elle doit d'​abord clôturer toutes ses sessions ;
   - Robert ouvre une session avec son compte ''​administrateur''​ ;   - Robert ouvre une session avec son compte ''​administrateur''​ ;
-  - Dans un terminal, Robert exécute ​la commande suivante ​: <​code>​administrateur@ordinateur:​~$ sudo usermod --login denise --home /​home/​denise --move-home utilisateur</​code>​+  - Dans un terminal, Robert exécute ​les commandes suivantes ​ 
 +<​code>​administrateur@ordinateur:​~$ sudo pkill -u utilisateur 
 +administrateur@ordinateur:​~$ sudo usermod --login denise --home /​home/​denise --move-home utilisateur</​code>​
  
 Désormais, l'​identifiant de compte de Denise est ''​denise''​ et son dossier personnel se trouve à l'​emplacement ''/​home/​denise/''​. Désormais, l'​identifiant de compte de Denise est ''​denise''​ et son dossier personnel se trouve à l'​emplacement ''/​home/​denise/''​.
  • tutoriel/changer_un_identifiant_de_compte.1508517426.txt.gz
  • Dernière modification: Le 20/10/2017, 18:37
  • par 176.180.137.2