Vorrei un metodo per trovare e stampare l'ora modificata di un file, da usare all'interno di uno script bash.
Ho escogitato:
ls -l $filename | cut -d ' ' -f '6-8'
Quali uscite:
Jul 26 15:05
Anche se mi piacerebbe evitare di analizzare ls
, sarebbe anche utile avere l'anno.
Idealmente, vorrei vedere un output simile all'output predefinito del date
comando.
Tue Jul 26 15:20:59 BST 2016
Quali altri metodi utili sono disponibili?
ls
è implementato in modo incoerente tra i sistemi e che quindi non dovrebbe mai essere utilizzato per alcun tipo di automazione. Utilizzare invece comandi comestat
efind
quando si scrivono script.