J'essaie de mesurer le temps d'exécution d'un processus que j'appelle via la ligne de commande (c'est-à-dire que je veux savoir combien de temps il faut pour que le processus se termine). Existe-t-il une commande que je peux ajouter à la commande appelant le processus pour y parvenir ?
Réponses
Trop de publicités?
Himanshu Mishra
Points
31
Gaurav Singh
Points
11
1) Ouvrir le fichier bashrc
gedit ~\.bashrc2) Trouvez le texte suivant :
if [ "$color_prompt" = yes ]; then
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\] :\[\033[01;34m\]\w\[\033[00m\]\$ ' 3) Et remplacer par :
if [ "$color_prompt" = yes ]; then
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u\[\033[00m\] [\d|\t]:\[\033[01;34m\]\w\[\033[00m\]\$ ' 4) Redémarrez le terminal pour vérifier.
- Réponses précédentes
- Plus de réponses
