#!/bin/sh
#	Id$: batch/rename-date	1.70	28.02.1999
#
#	(c) 1994-99, Dirk Meyer, Im Grund 4, 34317 Habichtswald
#
#
# Anzahl der Argumente ist 0, Benuzer informieren
if test $# = 0
then
	echo								>&2
	echo "Usage:  ${0##*/} Dateien"					>&2
	echo								>&2
	echo "	Die angegeben Dateinamen werden von name.*.gz"		>&2
	echo "	in die Form name.yyyy-mm-tt.gz umbenannt."		>&2
	echo								>&2
	exit 64
fi
#
LANG="C"
for A in "$@"
do
#	echo \
	mv -i "${A}" `ls -lT "${A}" | awk 'BEGIN {
			MONAT[ "Jan" ] = "01"
			MONAT[ "Feb" ] = "02"
			MONAT[ "Mar" ] = "03"
			MONAT[ "Mrz" ] = "03"
			MONAT[ "Apr" ] = "04"
			MONAT[ "May" ] = "05"
			MONAT[ "Mai" ] = "05"
			MONAT[ "Jun" ] = "06"
			MONAT[ "Jul" ] = "07"
			MONAT[ "Aug" ] = "08"
			MONAT[ "Sep" ] = "09"
			MONAT[ "Oct" ] = "10"
			MONAT[ "Okt" ] = "10"
			MONAT[ "Nov" ] = "11"
			MONAT[ "Dec" ] = "12"
			MONAT[ "Dez" ] = "12"
		}
		{
			STAMM = $10
			EXT = ""
			if (  match( STAMM, "[.][a-z]+$" ) ) {
				EXT = substr( STAMM, RSTART )
				if ( EXT == ".log" ) {
					STAMM = substr( STAMM, 1, RSTART - 1 )
					EXT = ""
				}
			}
			if (  match( STAMM, "[.][0-9]+.*$" ) ) {
				STAMM = substr( STAMM, 1, RSTART - 1 )
			}
			printf( "%s.%s-%s-%02d%s\n", \
				STAMM, \
				$9, MONAT[ $6 ], $7, EXT  )
		}'`
done
#
# eof