#!/bin/sh
#
# This script print a "nice" date for a file. Just call it with the name
# if the file as parameter.
#

/bin/ls -le $1 | \
gawk ' { \
    print $8". "$7" "$10;          \
}'
