Codice: Seleziona tutto
$ time ls -l --time-style=+%Y%m%d prova | awk '{print $6}'
20081231
real 0m0.128s
user 0m0.006s
sys 0m0.015s
$ time date --date="$(stat -c %y prova)" +%Y%m%d
20081231
real 0m0.048s
user 0m0.004s
sys 0m0.009sCodice: Seleziona tutto
DATEFILE=$(ls -l --time-style=+%Y%m%d $NOMEFILE | awk '{print $6}')
DATEFILE=$(date --date="$(stat -c %y $NOMEFILE )" +%Y%m%d)Poi sul metodo uno sceglie quello che preferisce, ed io stesso ho detto che quello che ho indicato va bene solamente in un particolare contesto e non è portabile, quindi peggiore di altri.
p.s.
inoltre queste righe danno errore, se correggoMario Vanoni ha scritto: time echo "$(date --date="$(stat -c %y un_file_name" +%Y%m%d)"
time /bin/echo "$(date --date="$(stat -c %y un_file_name" +%Y%m%d)"
Codice: Seleziona tutto
$ time echo "$(date --date="$(stat -c %y prova)" +%Y%m%d)"
20081231
real 0m0.031s
user 0m0.007s
sys 0m0.009s
blank@slack:/tmp$ time ls -l --time-style=+%Y%m%d prova | awk '{print $6}'
20081231
real 0m0.042s
user 0m0.007s
sys 0m0.010sCodice: Seleziona tutto
$ time ls -l --time-style=+%Y%m%d prova | awk '{print $6}'
20081231
real 0m0.031s
user 0m0.008s
sys 0m0.008s
$ time ls -l --time-style=+%Y%m%d prova | awk '{print $6}'
20081231
real 0m0.043s
user 0m0.006s
sys 0m0.007s
$ time ls -l --time-style=+%Y%m%d prova | awk '{print $6}'
20081231
real 0m0.035s
user 0m0.008s
sys 0m0.009s
$ time ls -l --time-style=+%Y%m%d prova | awk '{print $6}'
real 0m0.046s
user 0m0.017s
sys 0m0.011s
