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 [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]
