data da modificacao de um arquivo

[Reinaldo Carvalho]

Existe algum comando para obter a data de modificação de um arquivo?

Estou usando "ls --color=no --full-time arquivo | awk -F " " '{print $10$7$8}'"

Só que o ls mudou a saida:

ls (debian woody):
:/# ls --color=no --full-time /boot/map
-rw-------    1 root     root       115712 Qua Out 12 15:50:47 2005 /boot/map

ls (debian sarge):
:/# ls --color=no --full-time /boot/map
-rw-------  1 root root 93184 2005-10-20 08:36:05.247800376 -0300 /boot/map


Queria evitar esse tipo de incompatibilidade, por isso queria outro
comando me mostrasse a data de modificação do arquivo, sem ser via
'ls' (para evitar mudança na sintaxe).

--
Reinaldo Carvalho
Debian Sarge 3.1 - Linux User: #238310
Prodepa - address@hidden