#! /bin/csh -f
# Last modified on Mon Dec  3 15:58:19 PST 1990 by stolfi
# date in format yy-mm-dd

date \
  | sed -e 's/^[A-Za-z][a-z]*  *//\
s/[0-9][0-9]:[0-9][0-9]:[0-9][0-9]  *[A-Z]..  */ /' \
  | sed -e 's/\([A-Za-z]..\)  *\([0-9][0-9]*\)  *19\([0-9][0-9]\)/\3-\1-0\2 /' \
  | sed 's/-0\([0-9][0-9]\)/-\1/g\
s/Jan/01/g\
s/Feb/02/g\
s/Mar/03/g\
s/Apr/04/g\
s/May/05/g\
s/Jun/06/g\
s/Jul/07/g\
s/Aug/08/g\
s/Sep/09/g\
s/Oct/10/g\
s/Nov/11/g\
s/Dec/12/g'