Gabriele 'LightKnight' Stilli scrisse in data 05/04/2011 19:12: > In questo modo, tu stai chiamando il comando "time" incorporato in > bash, che giustamente non ha un'opzione "--version". Prova con: > > $ /usr/bin/time --version > E perché which time risponde /usr/bin/time? > $ which time > /usr/bin/time
...così per curiosità. Ciao Piviul -- 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/4d9c3462.4070...@riminilug.it
