Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
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] 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/''. |