1#! /bin/sh
2
3# Print the modification date of $1 `nicely'.
4
5# Don't want foreign dates.
6
7LANGUAGE=
| 1#! /bin/sh
2
3# Print the modification date of $1 `nicely'.
4
5# Don't want foreign dates.
6
7LANGUAGE=
|
| 8LANG=C; export LANG
9LC_TIME=C; export LC_TIME
10LC_CTYPE=C; export LC_CTYPE
|
8
9
10(date;
11if ls -L /dev/null 1>/dev/null 2>&1; then ls -L -l $1; else ls -l $1; fi
12) | awk '
13BEGIN {
14 full["Jan"] = "January"; number["Jan"] = 1;
15 full["Feb"] = "February"; number["Feb"] = 2;
--- 26 unchanged lines hidden --- | 11
12
13(date;
14if ls -L /dev/null 1>/dev/null 2>&1; then ls -L -l $1; else ls -l $1; fi
15) | awk '
16BEGIN {
17 full["Jan"] = "January"; number["Jan"] = 1;
18 full["Feb"] = "February"; number["Feb"] = 2;
--- 26 unchanged lines hidden --- |