Cum pot măsura întotdeauna timpul de execuție al unui proces terminal?

Încerc să fac terminalul să afișeze întotdeauna timpul de execuție al unui proces pe care îl apelez prin linia de comandă (adică vreau să aflu cât timp durează procesul de finalizare).

Știu că dacă tastați time înainte de comandă, la sfârșit va afișa timpul de execuție, dar ideea nu este să tastați altceva decât comanda și să primiți timpul de execuție la sfârșit dacă este posibil.

Utilizare tcsh și setați timp

O metodă foarte ușoară de a cronometra fiecare comandă este instalarea și utilizarea shell-ului tcsh (în loc de bash care este standard în Ubuntu) și setați variabila timp,

tester@my-laptop:~$ sudo apt install tcsh

tester@my-laptop:~$ tcsh
my-laptop:~> setați ora
laptopul meu:~> somn 3
0.003u 0.000s 0:03.00 0.0% 0+0k 0+0io 0pf+0w
laptopul meu:~> 

Afișați ora de perete când a fost imprimată fiecare solicitare bash

Poate ar fi suficient să ai un ceas în prompt, astfel încât să vezi „wall-time” când comanda s-a terminat și fereastra terminalului a revenit la prompt?

O solicitare brută de a intra interactiv în acest scop ar fi

PS1='$(data '+%T') $ '

sau pentru a adăuga la promptul curent

PS1='$(data '+%T') '"$PS1"

Resetați la promptul standard cu

sursa ~/.bashrc

rulați comanda cu timp (care este un cuvânt cheie shell aka o comandă) ca acesta. timp foobar sau timp de somn 1. exemplu anorthor este

#!/bin/bash
#cât de mare este sistemul tău de fișiere
arborele timpului /