Come utilizzo le opzioni con il tempo?

Ogni volta che provo ad usare le opzioni con il comando time, come format (-f, --FORMAT), ottengo il seguente errore:

bash: -f: command not found

unix time

— Wipqozn
fonte

Stai invocando la versione integrata di bash di time, che ha comportamenti e opzioni leggermente diversi - descritti anche nel manuale di bash help time.

Utilizzare command time ...per bypassare il built-in ed eseguire il comando esterno; o esegui /usr/bin/time ...direttamente.

— grawity
fonte

Questo risolto il mio problema. Non sapevo che ci fosse una differenza tra la pagina di manuale e la versione di base su uno qualsiasi dei comandi, aggiungendola alle cose che ho imparato oggi.

— Wipqozn,

Se è tutto risolto, fai clic sul segno di spunta accanto alla risposta per accettare questa risposta.

— Doug Harris,

La funzione integrata di Bash typemostrerà quale eseguirai, ad es type time. Aggiungi l' -aopzione per mostrare tuttotype -a time

— Doug Dougis

@DougHarris So come accettare una risposta, ma c'è un ritardo di 15 minuti tra la richiesta e quando puoi accettare.

— Wipqozn,

Mi dispiace. L'aspetto negativo di ottenere un aiuto così in fretta :-)

— Doug Harris