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
Prochaine révision
Révision précédente
terminal [Le 03/08/2018, 14:47]
90.23.185.75 [Comment ouvrir un terminal ?]
terminal [Le 06/11/2018, 21:45] (Version actuelle)
88.180.252.139 [Configurer l'interface]
Ligne 403: Ligne 403:
 === L'​invite de commande (prompt) === === L'​invite de commande (prompt) ===
  
-Dans votre fichier **~/​.bashrc**, ​ce trouve une variable **PS1** qui décrit comment l'​invite de commande est définie.+Dans votre fichier **~/​.bashrc**, ​se trouve une variable **PS1** qui décrit comment l'​invite de commande est définie.
  
 ^ Syntaxe ​        ^ Signification ^ ^ Syntaxe ​        ^ Signification ^
Ligne 416: Ligne 416:
 Pour les développeurs utilisant [[:git]], il peut par exemple être ajouté le nom du projet et de la branche de travail en cours, … Pour les développeurs utilisant [[:git]], il peut par exemple être ajouté le nom du projet et de la branche de travail en cours, …
  
-Penser après chaque modification,​ à exécuter :+Penseraprès chaque modification,​ à exécuter :
 <​code>​source ~/​.bashrc</​code>​ <​code>​source ~/​.bashrc</​code>​
  
Ligne 480: Ligne 480:
  
 <note important>​Ce qui suit est un tutoriel spécifique au terminal de [[:Xfce]]. Vous pouvez l'​adapter à votre besoin en remplaçant les occurences liées à [[:​xfterm4|xfce-terminal]] par tout autre terminal de votre convenance, et en regardant les options possibles de celui-ci, [[:​devilspie]] s'​occupant du comportement de la fenêtre.\\ <note important>​Ce qui suit est un tutoriel spécifique au terminal de [[:Xfce]]. Vous pouvez l'​adapter à votre besoin en remplaçant les occurences liées à [[:​xfterm4|xfce-terminal]] par tout autre terminal de votre convenance, et en regardant les options possibles de celui-ci, [[:​devilspie]] s'​occupant du comportement de la fenêtre.\\
-**Xfce-terminal** reste une option envisageable mais peut emmener des dépendances supplémentaires alors qu'il est probable que le terminal proposé par défaut avec votre environnement ​face l'​affaire. </​note>​+**Xfce-terminal** reste une option envisageable mais peut emmener des dépendances supplémentaires alors qu'il est probable que le terminal proposé par défaut avec votre environnement ​fasse l'​affaire. </​note>​
  
 Beaucoup de personnes souhaitent avoir un terminal disponible sur le bureau, voilà l'​astuce. Beaucoup de personnes souhaitent avoir un terminal disponible sur le bureau, voilà l'​astuce.
  • terminal.1533300424.txt.gz
  • Dernière modification: Le 03/08/2018, 14:47
  • par 90.23.185.75