4 069
contributi
Guida ai comandi da terminale: differenze tra le versioni
Guida ai comandi da terminale (visualizza wikitesto)
Versione delle 15:24, 31 dic 2009
, 31 dic 2009→Modificare l'ora di accesso a un file
Nessun oggetto della modifica |
|||
| Riga 477: | Riga 477: | ||
==Modificare l'ora di accesso a un file== | ==Modificare l'ora di accesso a un file== | ||
<tt>touch</tt> è un comando shell che modifica l'orario di accesso o/e modifica di un file (il cosiddetto '''timestamp'''). I file vengono | <tt>touch</tt> è un comando shell che modifica l'orario di accesso o/e modifica di un file (il cosiddetto '''timestamp'''). I file vengono modificati con l'orario corrente. La sintassi del comando è: | ||
<pre> | <pre> | ||
touch [-acfm] [-r file][-t orario_decimale] [-d orario] | touch [-acfm] [-r file][-t orario_decimale] [-d orario] | ||
| Riga 490: | Riga 490: | ||
* <tt>-t orario</tt>: Usa l'orario specificato come nuovo valore per gli orari cambiati. L'argomento è un numero decimale nella forma [[SS]AA]MMGGoomm[.ss] | * <tt>-t orario</tt>: Usa l'orario specificato come nuovo valore per gli orari cambiati. L'argomento è un numero decimale nella forma [[SS]AA]MMGGoomm[.ss] | ||
* <tt>-d, --date=orario</tt>: Usa orario al posto dell'ora corrente. Può contenere il nomi di mese, fusi orari, «am» e «pm», ecc | * <tt>-d, --date=orario</tt>: Usa orario al posto dell'ora corrente. Può contenere il nomi di mese, fusi orari, «am» e «pm», ecc | ||
==Manipolazione di files== | ==Manipolazione di files== | ||
Un modo veloce (soprattutto negli script) per modificare il contenuto di un file o per accodare altro testo alla sua fine è utilizzare il comando <tt>cat</tt>.<br> | Un modo veloce (soprattutto negli script) per modificare il contenuto di un file o per accodare altro testo alla sua fine è utilizzare il comando <tt>cat</tt>.<br> | ||