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
debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per
problemi inviare un email in INGLESE a listmas...@lists.debian.org
To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4d9cafc4.1080...@gmail.com
