Bon, un peu bourrin mais puisque tu n'as pas de possibilité de changer le formatge de la date de ls, on essaye avec sed alors:
Dans un fichier, par exemple change-date.sed, mets:
1 2 3 4 5 6 7 8 9 10 11 12
| s/ Jan \([ 0-3]\?[0-9]\) / \1012008 /
s/ Feb \([ 0-3]\?[0-9]\) / \1022008 /
s/ Mar \([ 0-3]\?[0-9]\) / \1032008 /
s/ Apr \([ 0-3]\?[0-9]\) / \1042008 /
s/ May \([ 0-3]\?[0-9]\) / \1052008 /
s/ Jun \([ 0-3]\?[0-9]\) / \1062008 /
s/ Jul \([ 0-3]\?[0-9]\) / \1072008 /
s/ Aug \([ 0-3]\?[0-9]\) / \1082008 /
s/ Sep \([ 0-3]\?[0-9]\) / \1092008 /
s/ Oct \([ 0-3]\?[0-9]\) / \1102008 /
s/ Nov \([ 0-3]\?[0-9]\) / \1112008 /
s/ Dec \([ 0-3]\?[0-9]\) / \1122008 / |
Pour l'exécuter:
$ sed -f change-date.sed ton-fichier-texte
Tu peux également essayer de piper directement le résultat de la commande ls dans le sed:
$ ls -l | sed -f change-date.sed
Partager