Jannah Theme License is not validated, Go to the theme options page to validate the license, You need a single license for each domain name.
Linux

Comment supprimer l’utilisateur et le nom d’hôte dans l’invite du terminal

Pour les utilisateurs de Linux (ou Mac) qui utilisent le terminal, vous constaterez que l’invite par défaut viendra avec le format [username@hostname ~]$. Par exemple, sur mon ordinateur portable Dell, l’invite bash s’affichera [damien@damien-dell ~]$, où « damien » est mon nom d’utilisateur et « damien-dell » est le nom d’hôte. Il est à noter qu’il ne s’agit que des paramètres par défaut et que vous êtes libre de les modifier et de les faire afficher tout ce que vous voulez, ou même de les supprimer complètement.

Les étapes suivantes montrent comment procéder.

1. Dans votre gestionnaire de fichiers, appuyez sur Ctrl + H pour afficher les fichiers cachés.

2. Ouvrez le fichier « .bashrc » dans un éditeur de texte.

3. Recherchez la ligne commençant par PS1=. La ligne complète devrait ressembler à ceci : PS1='[u@h W]$ ‘ où u représente le nom d’utilisateur, h le nom d’hôte et W votre emplacement dans la structure du fichier.

bashrc-ps1-ligne

4. Pour supprimer le nom d’utilisateur et le nom d’hôte de l’invite, supprimez simplement la partie u@h pour qu’elle ressemble à ceci : PS1='[W]$ ‘.

invite de terminal sans nom d'utilisateur nom d'hôte

5. Pour un pur minimalisme, vous pouvez tout supprimer et laisser le signe d’invite : PS1=’$ ‘.

terminal-invite-tout-enlevé

6. Une fois que vous avez terminé la modification, enregistrez le fichier.

Psssssst :  Comment chiffrer vos partitions sous Linux avec dm-crypt

Relancez maintenant votre terminal et les modifications seront immédiatement prises en compte. Si vous ne parvenez pas à redémarrer le terminal à cause d’une session en cours, tapez plutôt source ~/.bashrc.

C’est si simple.

Cet article est-il utile ? Oui Non

Bouton retour en haut de la page

Adblock détecté

Veuillez désactiver votre bloqueur de publicités pour pouvoir visualiser le contenu de la page. Pour un site indépendant avec du contenu gratuit, c’est une question de vie ou de mort d’avoir de la publicité. Merci de votre compréhension! Merci