mercoledì 06 aprile 2011, alle 11:37, Piviul scrive: > E perché which time risponde /usr/bin/time? > > $ which time > > /usr/bin/time > > ...così per curiosità. Perché il comando "time" incorporato nella bash è una funzionalità interna, non ha un suo eseguibile, quindi "which" non può vederlo. Gabriele :-) -- http://poisson.phc.unipi.it/~stilli/ http://lightknight.homelinux.org/blog/ Meglio essere ottimisti e avere torto, che pessimisti e avere ragione [Albert Einstein]
Attachment:
signature.asc
Description: Digital signature