Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 12/08/2010, à 12:34

brankop

[Résolu] Comment changer prompt de ligne de commande

Bonjour,
je poste ce message car je n'ai rien trouvé sur le forum ou sur Internet (je n'ai peut-être pas mis les termes corrects dans mes recherches).

En ligne de commande DOS il existait (il existe) une variable d'environnement ($prompt) qui permettait de customiser l'affichage du prompt de la ligne de commande :

$q  	= (signe égal)
$$ 	$ (symbole du dollar
$t 	heure courante
$d 	date du jour
$p 	unité et répertoire en cours
$v 	numéro de version DOS
$n 	unité en cours
$g 	> (symbole supérieur à)
$l 	< (symbole inférieur à)
$b 	(barre verticale)
$_ 	ENTREE - NOUVELLE LIGNE
$e 	caractère ESC (code ASCII 27)
$h 	RET.ARR (pour supprimer un caractère tapé sur la ligne de commande prompt)

Existe-t'il quelque chose d'équivalent sous Linux ?

Mon besoin : rajouter l'heure courante dans le prompt. Ainsi quand je lance des taches longues (comme un dd de disque) et que je m'en vais en attendant que ça se termine, ça me permettrait au retour de savoir combien de temps ça a pris pour mieux pouvoir me planifier pour les fois suivantes.

Merci pour vos réponses.

Dernière modification par brankop (Le 13/08/2010, à 21:12)

Hors ligne

#2 Le 12/08/2010, à 12:43

Luke

Re : [Résolu] Comment changer prompt de ligne de commande

Variable d'environnement PS1, que tu peux définir dans ton ~/.bashrc par exemple.
Je crois qu'il faut aller chercher dans le man de bash pour trouver les commandes permettant d'afficher l'heure, le login, etc.

Hors ligne

#3 Le 12/08/2010, à 13:26

Totor

Re : [Résolu] Comment changer prompt de ligne de commande

il est préférable de définir la variable PROMPT_COMMAND


-- Lucid Lynx --

Hors ligne

#4 Le 12/08/2010, à 17:34

brankop

Re : [Résolu] Comment changer prompt de ligne de commande

Merci à tous deux. Je mets le poste en [RESOLU].
Effectivement, j'ai eu plus de matière en cherchant sur PROMPT_COMMMAND et PS1.
Ci-dessous quelques liens répondant à ma question (si d'autres se la posent).

Tutos sur les fonctionnalités de PS1, PS2, PS3, PS4 et PROMPT_COMMAND :
http://ss64.com/bash/syntax-prompt.html
http://www.thegeekstuff.com/2008/09/bas … t_command/

Comment customiser 'heure dans le prompt :
http://tldp.org/HOWTO/Bash-Prompt-HOWTO/x264.html


En complément.
Pour mon cas particulier (avoir la durée d'une tache longue), dans mes prospections je viens de voir qu'il existe aussi la commande time (man time) qui donne la durée d'exécution et les ressources CPU user et system de la commande passée en argument.

Dernière modification par brankop (Le 12/08/2010, à 17:51)

Hors ligne

#5 Le 13/08/2010, à 13:29

brankop

Re : [Résolu] Comment changer prompt de ligne de commande

En complément, pour rajouter l'heure courante en début du prompt (ce qui permet d'horodater chaque ligne de commande).
Dans ~/.bashrc   j'ai rajouté "\t " en début d'affectation de PS1, cad remplacé

 PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"

par

PS1="\t \[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"

Hors ligne