2 # Get modification time of a file or directory and pretty-print it.
4 scriptversion=2018-03-07.03; # UTC
6 # Copyright (C) 1995-2021 Free Software Foundation, Inc.
7 # written by Ulrich Drepper <drepper@gnu.ai.mit.edu>, June 1995
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)
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.
19 # You should have received a copy of the GNU General Public License
20 # along with this program. If not, see <https://www.gnu.org/licenses/>.
22 # As a special exception to the GNU General Public License, if you
23 # distribute this file as part of a program that contains a
24 # configuration script generated by Autoconf, you may include it under
25 # the same distribution terms that you use for the rest of that program.
27 # This file is maintained in Automake, please report
28 # bugs to <bug-automake@gnu.org> or send patches to
29 # <automake-patches@gnu.org>.
31 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
34 # Pre-4.2 versions of Zsh do word splitting on ${1+"$@"}, which
35 # is contrary to our usage. Disable this feature.
36 alias -g '${1+"$@"}'='"$@"'
42 echo "$0: No file. Try '$0 --help' for more information." 1>&2
47 Usage: mdate-sh [--help] [--version] FILE
49 Pretty-print the modification day of FILE, in the format:
52 Report bugs to <bug-automake@gnu.org>.
57 echo "mdate-sh $scriptversion"
69 # Prevent date giving response in another language.
77 # Use UTC to get reproducible result.
81 # GNU ls changes its time format in response to the TIME_STYLE
82 # variable. Since we cannot assume 'unset' works, revert this
83 # variable to its documented default.
84 if test "${TIME_STYLE+set}" = set; then
85 TIME_STYLE=posix-long-iso
91 # Find out how to get the extended ls output of a file or directory.
92 if ls -L /dev/null 1>/dev/null 2>&1; then
93 ls_command='ls -L -l -d'
97 # Avoid user/group names that might have spaces, when possible.
98 if ls -n /dev/null 1>/dev/null 2>&1; then
99 ls_command="$ls_command -n"
102 # A 'ls -l' line looks as follows on OS/2.
103 # drwxrwx--- 0 Aug 11 2001 foo
104 # This differs from Unix, which adds ownership information.
105 # drwxrwx--- 2 root root 4096 Aug 11 2001 foo
107 # To find the date, we split the line on spaces and iterate on words
108 # until we find a month. This cannot work with files whose owner is a
109 # user named "Jan", or "Feb", etc. However, it's unlikely that '/'
110 # will be owned by a user whose name is a month. So we first look at
111 # the extended ls output of the root directory to decide how many
112 # words should be skipped to get the date.
114 # On HPUX /bin/sh, "set" interprets "-rw-r--r--" as options, so the "x" below.
117 # Find which argument is the month.
122 test $# -gt 0 || error "failed parsing '$ls_command /' output"
124 # Add another shift to the command.
125 command="$command shift;"
127 Jan) month=January; nummonth=1;;
128 Feb) month=February; nummonth=2;;
129 Mar) month=March; nummonth=3;;
130 Apr) month=April; nummonth=4;;
131 May) month=May; nummonth=5;;
132 Jun) month=June; nummonth=6;;
133 Jul) month=July; nummonth=7;;
134 Aug) month=August; nummonth=8;;
135 Sep) month=September; nummonth=9;;
136 Oct) month=October; nummonth=10;;
137 Nov) month=November; nummonth=11;;
138 Dec) month=December; nummonth=12;;
142 test -n "$month" || error "failed parsing '$ls_command /' output"
144 # Get the extended ls output of the file or directory.
145 set dummy x`eval "$ls_command \"\\\$save_arg1\""`
147 # Remove all preceding arguments
150 # Because of the dummy argument above, month is in $2.
152 # On a POSIX system, we should have
161 # On Darwin 7.7.0 and 7.6.0, we have
171 Jan) month=January; nummonth=1;;
172 Feb) month=February; nummonth=2;;
173 Mar) month=March; nummonth=3;;
174 Apr) month=April; nummonth=4;;
175 May) month=May; nummonth=5;;
176 Jun) month=June; nummonth=6;;
177 Jul) month=July; nummonth=7;;
178 Aug) month=August; nummonth=8;;
179 Sep) month=September; nummonth=9;;
180 Oct) month=October; nummonth=10;;
181 Nov) month=November; nummonth=11;;
182 Dec) month=December; nummonth=12;;
190 # Here we have to deal with the problem that the ls output gives either
191 # the time of day or the year.
193 *:*) set `date`; eval year=\$$#
204 Oct) nummonthtod=10;;
205 Nov) nummonthtod=11;;
206 Dec) nummonthtod=12;;
208 # For the first six month of the year the time notation can also
209 # be used for files modified in the last year.
210 if (expr $nummonth \> $nummonthtod) > /dev/null;
212 year=`expr $year - 1`
218 echo $day $month $year
223 # eval: (add-hook 'before-save-hook 'time-stamp)
224 # time-stamp-start: "scriptversion="
225 # time-stamp-format: "%:y-%02m-%02d.%02H"
226 # time-stamp-time-zone: "UTC0"
227 # time-stamp-end: "; # UTC"