Commentaires sur : Présentation, cours

Par : Fred

Fred — Sat, 18 Sep 2010 11:46:31 +0000

peck: pour la documentation de time le built-in bash, regarde le manuel au nœud « info bash "Basic Shell Features" "Shell Commands" Pipelines ». On y lit que time fait partie de la grammaire du shell au même titre que |, ce qui explique qu’il n’est pas du tout affecté par les redirections telles que « time ls &>/dev/null ».

Ton dernier exemple montre que time écrit dans le stderr du shell courant, puisque la redirection s’applique à l’ensemble du sous-shell. Je n’ai pas le courage pour le moment de comparer comment zsh gère son builtin time…

Par : peck

peck — Wed, 15 Sep 2010 22:37:29 +0000

En effet, c’est bien bash qui interprète une commande contenant time différemment.
La commande suivante montre bien cette différence d’interprétation puisque rien n’est écrit :
(time ls) 2>/dev/null

Bizarrement je n’arrive pas a trouver le builtin time dans le manuel de bash.

Par : serge

serge — Wed, 15 Sep 2010 21:16:06 +0000

J’ai vérifié avec strace et survolé le source de bash et bien non, ‘time’ n’écrit pas directement dans le terminal (/dev/tty).

Ce qui ce passe est que dans ‘time ls 2> /dev/null’, la redirection du fd 2 s’applique à la commande ls, pas à la commande time. ‘time’ est une commande interne de bash qui est traitée différemment d’un exécutable externe.

Par exemple, ‘/usr/bin/time ls 2> /dev/null’ n’affiche pas le temps.

Par : Les tweets qui mentionnent Présentation, cours - Linux Attitude -- Topsy.com

Les tweets qui mentionnent Présentation, cours - Linux Attitude -- Topsy.com — Sat, 14 Aug 2010 14:12:12 +0000

[...] Ce billet était mentionné sur Twitter par French Sys Op, François BAYART. François BAYART a dit: Script est une commande qui crée un faux terminal virtuel et duplique tout ce qui s'y passe dans un fichier typescript. http://ow.ly/2pAMS [...]

Par : DarkVador008

DarkVador008 — Sun, 08 Aug 2010 20:56:06 +0000

Hey visite mon blog, tu es dans le top 100 de sites de geek ;)

à bientôt sur http://www.informateque.net/classement-des-100-meilleurs-sites-de-geeks/

Par : Peck

Peck — Sat, 17 Jul 2010 21:03:09 +0000

@mota: as-tu déjà essayé de faire un ‘time ls 2> /dev/null’
Tu constateras que la sortie se fait quand même à l’écran. Ce qui prouve qu’elle ne se fait pas sur la sortie d’erreur mais directement sur le terminal.

@jorn: pour que scriptreplay fonctionne proprement il faut que le terminal de destination ait la même dimension que le terminal original, ça peut être une raison.

Par : j0rn

j0rn — Sat, 17 Jul 2010 20:49:37 +0000

tiens c’est marrant à croire que tout le monde a eu la même idée de tester script/scriptreplay ce jeudi :)

par contre j’ai voulu faire une capture et la filer à d’autres mais ça ne fonctionnait que chez moi, peut-être à cause d’une conf de terminal différente ?

je sais qu’il existe d’autres tools du même style qui ont eu plus ou moins de succès mais il faut les installer explicitement, ceux là sont installés par défaut à priori sur toute les distribs grand public