Il giorno gio, 02/07/2009 alle 12.23 +0200, Paolo Sala ha scritto: > Ciao, in uno script bash ottengo una data/ora scritta nel formato > 1/7/2009 14.13 che ovviamente rappresenta il 1 luglio 2009 ore 14 e 13 > minuti. Ho qualche speranza di farla diventare una data in bash usando > l'opzione -d?
Non direttamente da quella, direi. Come separatore tra ore e minuti mi sa che ti servono i due punti. Poi dovresti invertire mese e giorno del mese perche' non c'e' un formato previsto a quel modo. $ date -d "7/1/09 14:00" mer lug 1 14:00:00 CEST 2009 ciao Christian -- 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]
