Re: bash e date
[Christian Surchi, giovedì 2 luglio 2009] > no, perche' format controlla l'output Vero, caspita.. eppure mi ricordavo di averlo usato con successo :-/ Mi sa che ho bisogno di un dist-upgrade all'encefalo.. -- DaC 44°59'N 7°27'E -- 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
Re: bash e date
Il giorno gio, 02/07/2009 alle 14.58 +0200, Duffy DaC ha scritto: > Per essere più espliciti, penso che tu debba combinare l'opzione -d > con "+FORMAT", per spiegare al date cosa gli stai passando. no, perche' format controlla l'output -- 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
Re: bash e date
Davide Prina scrisse in data 02/07/2009 15:21: > Duffy DaC wrote: > >> Per essere più espliciti, penso che tu debba combinare l'opzione -d >> con "+FORMAT", per spiegare al date cosa gli stai passando. > > se non erro +FORMAT è usabile solo per il formato d'uscita (output) > > Bisognerebbe capire da dove prende la data e vedere se l'"originatore" > può esportarla nel formato voluto da 'date' o altrimenti fare uno > script che fa la conversione Non posso metteremano all'"originatore"; ho optato per la conversione della data con qualcosa tipo date -d"`echo 1/7/2009 14.13 | sed 's/\([0-9]*\)\/\([0-9]*\)\/\([0-9]*\)\ \([0-9]*\)\.\([0-9]*\)/\2\/\1\/\3 \4:\5/'`" Grazie mille a tutti quanti 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
Re: bash e date
Duffy DaC wrote: Per essere più espliciti, penso che tu debba combinare l'opzione -d con "+FORMAT", per spiegare al date cosa gli stai passando. se non erro +FORMAT è usabile solo per il formato d'uscita (output) Bisognerebbe capire da dove prende la data e vedere se l'"originatore" può esportarla nel formato voluto da 'date' o altrimenti fare uno script che fa la conversione Ciao Davide -- Dizionari: http://linguistico.sourceforge.net/wiki Sistema operativo: http://www.it.debian.org GNU/Linux User: 302090: http://counter.li.org 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
Re: bash e date
[Christian Surchi, giovedì 2 luglio 2009] > > minuti. Ho qualche speranza di farla diventare una data in bash > > usando l'opzione -d? > > Non direttamente da quella, direi. Per essere più espliciti, penso che tu debba combinare l'opzione -d con "+FORMAT", per spiegare al date cosa gli stai passando. -- DaC 44°59'N 7°27'E -- 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
Re: bash e date
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 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
Re: bash e date
Paolo Sala scrisse in data 02/07/2009 12:23: > 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? > ovviamente l'opzione -d si riferisce all'opzione -d del comando date... Grazie ancora 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
bash e date
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? Ciao e grazie 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