#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