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
--
Per REVOCARE l'iscrizione alla lista, inviare un email a
[email protected] con oggetto "unsubscribe". Per
problemi inviare un email in INGLESE a [email protected]
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
