Retourner au contenu associé (journal : Lancer un logiciel distant depuis sa machine)
Posté par wismerhill le 24 mars 2021 à 18:47. En réponse au journal Lancer un logiciel distant depuis sa machine. Évalué à 3.
Ah, effectivement, je ne savais pas que le time inclus dans bash prend en compte tout le pipeline, merci de l'info.
Au passage, la doc de bash indique qu'il s'agit d'un mot réservé, ce qui est encore un peu différent d'une buitin command.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Pipe ?
Posté par wismerhill . En réponse au journal Lancer un logiciel distant depuis sa machine. Évalué à 3.
Ah, effectivement, je ne savais pas que le time inclus dans bash prend en compte tout le pipeline, merci de l'info.
Au passage, la doc de bash indique qu'il s'agit d'un mot réservé, ce qui est encore un peu différent d'une buitin command.