> Da: giorgio tessaro <[EMAIL PROTECTED]> > Data: Mon, 28 Aug 2006 15:23:08 +0200 (CEST) > A: [email protected] > Oggetto: durata di un comando > > ciao,
Ciao! CUT > perchè le opzioni del man di time non >funzionano? Al 90% stai usando time che e' built-in nella bash e non il comando esterno. Prova a fare `which time` -o filename nome-comando e vedi che succede. Ciao! C! ________________________________________________________________________ SERVIZIO VOICE: TELEFONA e INVIA SMS dal tuo computer a tariffe vantaggiose! Scopri come telefonare e videochiamare gratis da pc a pc. http://voice.repubblica.it -- 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]
