On 06/04/2011 13:27, Gabriele 'LightKnight' Stilli wrote:
mercoledì 06 aprile 2011, alle 11:37, Piviul scrive:E perché which time risponde /usr/bin/time?$ which time /usr/bin/time
Perché il comando "time" incorporato nella bash è una funzionalità interna, non ha un suo eseguibile, quindi "which" non può vederlo.
$ type time time is a shell keyword $ type -a time time is a shell keyword time is /usr/bin/time Ciao Davide -- Dizionari: http://linguistico.sourceforge.net/wiki Petizione contro il formato ms-ooxml: http://www.noooxml.org/petition Non autorizzo la memorizzazione del mio indirizzo su outlook