#!/bin/sh

# FileDate.sh
# Chieh Cheng
# 2007-07-15

# GNU General Public License (GPL) Version 2, June 1991

scriptName=`echo $0 | sed s/\\\\/.*\\\\///g`

if [ $# -lt 1 ]
then
  echo "  Usage:   $scriptName \"file 1\" [ . . . \"file n\" ]"
else
  for file
  do
    os=`uname -s`
    if [ "${os}" = "Darwin" ]
    then
      name=`FileDate.php "${file}"`
    else
      str=`ls --full-time "${file}"`
      date=`echo "${str}" | Token.sh 6 | sed "s/-//g"`
      time=`echo "${str}" | Token.sh 7 | sed "s/://g" | sed "s/\..*//"`
      name="${date}_${time}"
    fi

    echo "${name}"
  done
fi