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 datecomando.
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 comestatefindquando si scrivono script.