05e828b081a70f081030b96889d67947e1e9d566
[poldi.git] / doc / mdate-sh
1 #!/bin/sh
2 # Get modification time of a file or directory and pretty-print it.
3
4 scriptversion=2003-11-09.00
5
6 # Copyright (C) 1995, 1996, 1997, 2003  Free Software Foundation, Inc.
7 # written by Ulrich Drepper <drepper@gnu.ai.mit.edu>, June 1995
8 #
9 # This program is free software; you can redistribute it and/or modify
10 # it under the terms of the GNU General Public License as published by
11 # the Free Software Foundation; either version 2, or (at your option)
12 # any later version.
13 #
14 # This program is distributed in the hope that it will be useful,
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17 # GNU General Public License for more details.
18 #
19 # You should have received a copy of the GNU General Public License
20 # along with this program; if not, write to the Free Software Foundation,
21 # Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
22
23 # As a special exception to the GNU General Public License, if you
24 # distribute this file as part of a program that contains a
25 # configuration script generated by Autoconf, you may include it under
26 # the same distribution terms that you use for the rest of that program.
27
28 # This file is maintained in Automake, please report
29 # bugs to <bug-automake@gnu.org> or send patches to
30 # <automake-patches@gnu.org>.
31
32 case $1 in
33   '')
34      echo "$0: No file.  Try \`$0 --help' for more information." 1>&2
35      exit 1;
36      ;;
37   -h | --h*)
38     cat <<\EOF
39 Usage: mdate-sh [--help] [--version] FILE
40
41 Pretty-print the modification time of FILE.
42
43 Report bugs to <bug-automake@gnu.org>.
44 EOF
45     exit 0
46     ;;
47   -v | --v*)
48     echo "mdate-sh $scriptversion"
49     exit 0
50     ;;
51 esac
52
53 # Prevent date giving response in another language.
54 LANG=C
55 export LANG
56 LC_ALL=C
57 export LC_ALL
58 LC_TIME=C
59 export LC_TIME
60
61 save_arg1="$1"
62
63 # Find out how to get the extended ls output of a file or directory.
64 if ls -L /dev/null 1>/dev/null 2>&1; then
65   ls_command='ls -L -l -d'
66 else
67   ls_command='ls -l -d'
68 fi
69
70 # A `ls -l' line looks as follows on OS/2.
71 #  drwxrwx---        0 Aug 11  2001 foo
72 # This differs from Unix, which adds ownership information.
73 #  drwxrwx---   2 root  root      4096 Aug 11  2001 foo
74 #
75 # To find the date, we split the line on spaces and iterate on words
76 # until we find a month.  This cannot work with files whose owner is a
77 # user named `Jan', or `Feb', etc.  However, it's unlikely that `/'
78 # will be owned by a user whose name is a month.  So we first look at
79 # the extended ls output of the root directory to decide how many
80 # words should be skipped to get the date.
81
82 # On HPUX /bin/sh, "set" interprets "-rw-r--r--" as options, so the "x" below.
83 set - x`$ls_command /`
84
85 # Find which argument is the month.
86 month=
87 command=
88 until test $month
89 do
90   shift
91   # Add another shift to the command.
92   command="$command shift;"
93   case $1 in
94     Jan) month=January; nummonth=1;;
95     Feb) month=February; nummonth=2;;
96     Mar) month=March; nummonth=3;;
97     Apr) month=April; nummonth=4;;
98     May) month=May; nummonth=5;;
99     Jun) month=June; nummonth=6;;
100     Jul) month=July; nummonth=7;;
101     Aug) month=August; nummonth=8;;
102     Sep) month=September; nummonth=9;;
103     Oct) month=October; nummonth=10;;
104     Nov) month=November; nummonth=11;;
105     Dec) month=December; nummonth=12;;
106   esac
107 done
108
109 # Get the extended ls output of the file or directory.
110 set - x`eval "$ls_command \"\$save_arg1\""`
111
112 # Remove all preceding arguments
113 eval $command
114
115 # Get the month.  Next argument is day, followed by the year or time.
116 case $1 in
117   Jan) month=January; nummonth=1;;
118   Feb) month=February; nummonth=2;;
119   Mar) month=March; nummonth=3;;
120   Apr) month=April; nummonth=4;;
121   May) month=May; nummonth=5;;
122   Jun) month=June; nummonth=6;;
123   Jul) month=July; nummonth=7;;
124   Aug) month=August; nummonth=8;;
125   Sep) month=September; nummonth=9;;
126   Oct) month=October; nummonth=10;;
127   Nov) month=November; nummonth=11;;
128   Dec) month=December; nummonth=12;;
129 esac
130
131 day=$2
132
133 # Here we have to deal with the problem that the ls output gives either
134 # the time of day or the year.
135 case $3 in
136   *:*) set `date`; eval year=\$$#
137        case $2 in
138          Jan) nummonthtod=1;;
139          Feb) nummonthtod=2;;
140          Mar) nummonthtod=3;;
141          Apr) nummonthtod=4;;
142          May) nummonthtod=5;;
143          Jun) nummonthtod=6;;
144          Jul) nummonthtod=7;;
145          Aug) nummonthtod=8;;
146          Sep) nummonthtod=9;;
147          Oct) nummonthtod=10;;
148          Nov) nummonthtod=11;;
149          Dec) nummonthtod=12;;
150        esac
151        # For the first six month of the year the time notation can also
152        # be used for files modified in the last year.
153        if (expr $nummonth \> $nummonthtod) > /dev/null;
154        then
155          year=`expr $year - 1`
156        fi;;
157   *) year=$3;;
158 esac
159
160 # The result.
161 echo $day $month $year
162
163 # Local Variables:
164 # mode: shell-script
165 # sh-indentation: 2
166 # eval: (add-hook 'write-file-hooks 'time-stamp)
167 # time-stamp-start: "scriptversion="
168 # time-stamp-format: "%:y-%02m-%02d.%02H"
169 # time-stamp-end: "$"
170 # End: