]> zdv2.bktei.com Git - BK-2020-03.git/blob - user/bkdatev
fix(user/bkdatev):Use leap seconds via 'TZ=right/UTC'
[BK-2020-03.git] / user / bkdatev
1 #!/usr/bin/env bash
2 # Desc: Baltakatei's verbose date command
3 # Usage: bkdatev [args]
4 # Example: bkdatev --date="2001-09-11T09:02:59-04"
5 # Version: 1.0.1
6 # Depends: GNU Coreutils 8.32, Bash 3.2.57
7 # Ref/Attrib: [1] "ISO 8601". Wikipedia. https://en.wikipedia.org/wiki/ISO_8601
8 # [2] "Changing the Locale in Wine" https://stackoverflow.com/a/16428951
9 # [3] "Shanghai vs Beijing" https://bugs.launchpad.net/ubuntu/+source/libgweather/+bug/228554
10 # [4] “"right" tz database (zoneinfo) files and GPS-based NTP” https://www.ucolick.org/~sla/leapsecs/right+gps.html
11 # Notes: * Check `ls -R /usr/share/zoneinfo` for time zone names.
12 # * Check `cat /usr/share/i18n/SUPPORTED` for supported locales.
13 # * For list of valid locales, see: https://manpages.ubuntu.com/manpages/bionic/man3/DateTime::Locale::Catalog.3pm.html
14 # * Locations chosen for population, personal signifiance, and spatial coverage.
15 # * For International Atomic Time (TAI), use offsets from UTC provided in `/usr/share/zoneinfo/leap-seconds.list`.
16 # * Compatibility with macOS may be limited if any arguments
17 # are provided when running `bkdatev`; e.g. passing a
18 # `--date` option to `bkdatev` will fail.
19
20 yell() { echo "$0: $*" >&2; }
21 die() { yell "$*"; exit 111; }
22 must() { "$@" || die "cannot $*"; }
23 insertStr() {
24 # Desc: Inserts a string into another string at a specified position.
25 # Input: arg1: str str_rec String to receive insertion
26 # arg2: int pos Insertion position (0 = append to front)
27 # arg3: str str_ins String to be inserted
28 # Output: stdout: Combined string
29 # Version: 0.0.2
30 # Depends: BK-2020-03: yell(), die(), must()
31 # Ref/Attrib: * BK-2020-03: https://gitlab.com/baltakatei/baltakatei-exdev/
32 # * Cooper, Mendel. “Advanced Bash-Scripting Guide: Manipulating Strings”. tldp.org https://tldp.org/LDP/abs/html/string-manipulation.html
33
34 local str_rec pos str_ins re len_str_rec;
35 local pfx_pos_start pfx_len pfx;
36 local sfx_pos_start sfx_len sfx;
37
38 # Check args
39 if [[ $# -ne 3 ]]; then
40 yell "ERROR:Invalid argument count:$#";
41 return 1; fi;
42 re='^[0-9]+$';
43 if [[ ! "$2" =~ $re ]]; then
44 yell "ERROR:Not an int:$2";
45 return 1; fi;
46 str_rec="$1";
47 pos="$2";
48 str_ins="$3";
49
50 # Calculate string stats
51 len_str_rec="${#str_rec}";
52
53 # Form prefix
54 pfx_pos_start="0";
55 pfx_len="$pos";
56 pfx="${str_rec:$pfx_pos_start:$pfx_len}";
57
58 # Form suffix
59 sfx_pos_start="$(( pos ))";
60 sfx_len="$(( len_str_rec - pos ))";
61 sfx="${str_rec:$sfx_pos_start:$sfx_len}";
62
63 # Print output to stdout
64 printf "%s%s%s\n" "$pfx" "$str_ins" "$sfx";
65 }; # Insert string provided at indicated position via stdout
66 line_sep() {
67 # Input: var: n_ln
68 local skip_every=4;
69 ((n_ln++));
70 if ! ((n_ln % "$skip_every")); then
71 printf "\n";
72 fi;
73 return 0;
74 }; # periodically print separating blank line
75 get_tz_offset() {
76 # Desc: Get from 'date' the timezone UTC offset in a way
77 # compatible with both GNU Coreutils and BSD versions.
78 # Input: env var: TZ (time zone for date; e.g. 'America/Denver')
79 # args: $@ # passed onto `date`
80 # Depends: date (GNU Coreutils 8.32 or BSD), rev
81 local ntz ntz ntz_out;
82 local last2;
83
84 # Get numeric time zone string in way compatible with GNU Coreutils and BSD
85 ntz="$(date "+%z" "$@")"; # e.g. "+0530"
86
87 # Check if last two characters are trailing zeros that can be removed.
88 last2="${ntz:3:2}"; # assumes $ntz is 5 characters (i.e. "±HHMM")
89 #last2="$(rev <<< $ntz)" && last2="${last2:0:2}" && last2="$(rev <<< "$last2")";
90 if [[ "$last2" == "00" ]]; then
91 ## ntz_out is truncated by 2 characters
92 len_ntz="${#ntz}";
93 len_ntz_out="$(( len_ntz - 2 ))";
94 ntz_out=""${ntz:0:$len_ntz_out};
95 else
96 ## ntz_out is ntz with semicolon inserted after HH
97 ntz_out="$(insertStr "$ntz" 3 ":" )";
98 fi;
99
100 # Output via stdout
101 printf "%s" "$ntz_out";
102 }; # Format numeric time zone (for BSD date compatibility)
103 print_dateline() {
104 # Input: var: $id
105 # var: $fs_1
106 # var: $fs_2
107 # var: $fs_3
108 # args: $@ # passed on to `date`
109 # env var: TZ (time zone for date; e.g. 'America/Denver')
110 # Output: stdout
111 # Depends: printf, date
112 # get_tz_offset()
113 # Ref/Attrib: * Truncate string in printf https://stackoverflow.com/a/46812677
114 local s_1 s_2 s_2_tz s_3 s_4;
115
116 s_1="$id";
117 s_2="$(date "$@" "$fs_1")"; # ISO-8601 without numeric timezone
118 s_3="$(date "$@" "$fs_2")"; # Alternate ISO-8601 expressions
119 s_4="$(date "$@" "$fs_3")"; # locale-specific date strings
120
121 # Append numeric timezone to $s_2 with appropriate format
122 # (e.g. '-07' for 'Arizona', '+05:45' for 'Asia/Kathmandu')
123 s_2_tz="$(get_tz_offset "$@")";
124 s_2="$( printf "%s%s" "$s_2" "$s_2_tz" )";
125
126 printf "%-10.10s %-25.25s (%-20.20s) (%s)" "$s_1" "$s_2" "$s_3" "$s_4";
127 printf "\n";
128
129 unset fs_1 fs_2 fs_3 fs_4;
130 }; # print line of dates
131 main() {
132 n_ln=0; # for line_sep()
133 unset LC_TIME; # Fall back to time zone-specific locale settings.
134
135 # format strings
136 fs_iso8601="+%Y-%m-%dT%H:%M:%S"; # typical ISO-8601 without timezone
137 fs_iso8601_etc="+%G-W%V-%u, %Y-%j"; # alternate ISO-8601 dates
138 fs_locale="+%Z; %A; %c"; # locale-specific date strings
139
140 # vars for print_dateline()
141 fs_1="$fs_iso8601";
142 fs_2="$fs_iso8601_etc";
143 fs_3="$fs_locale";
144
145 # UTC (pop. (2021): 7,837,000,000)
146 (
147 export TZ=right/UTC; # See [4]
148 id="UTC";
149 fs_3="+%s seconds since 1970-01-01T00:00+00";
150 print_dateline "$@";
151 ); line_sep;
152
153 # Hawaii
154 (
155 export TZ=US/Hawaii;
156 export LANG="haw-US.UTF8";
157 id="HAWAII";
158 print_dateline "$@";
159 ); line_sep;
160
161 # Los Angeles, USA
162 (
163 export TZ=America/Los_Angeles;
164 export LANG="en_US.UTF-8";
165 id="LOS ANGELES";
166 print_dateline "$@";
167 ); line_sep;
168
169 # Denver, USA (pop. (2021): 711,463)
170 (
171 export TZ=America/Denver;
172 export LANG="en_US.UTF-8";
173 id="DENVER";
174 print_dateline "$@";
175 ); line_sep;
176
177 # Chicago, USA (pop. (2021): 711,463)
178 (
179 export TZ=America/Chicago;
180 export LANG="en_US.UTF-8";
181 id="CHICAGO";
182 print_dateline "$@";
183 ); line_sep;
184
185 # Mexico City, Mexico (pop. (2018): 21,804,515)
186 (
187 export TZ=America/Mexico_City;
188 export LANG="es_MX.UTF8";
189 id="MEXICO CITY";
190 print_dateline "$@";
191 ); line_sep;
192
193 # Panama City, Panama
194 (
195 export TZ=America/Panama;
196 export LANG="es_PA.UTF8";
197 id="PANAMA CITY";
198 print_dateline "$@";
199 ); line_sep;
200
201 # New York, USA (pop. (2018): 20,140,470)
202 (
203 export TZ=America/New_York;
204 export LANG="en_US.UTF-8";
205 id="NEW YORK";
206 print_dateline "$@";
207 ); line_sep;
208
209 # São Paulo, Brazil
210 (
211 export TZ=America/Sao_Paulo;
212 export LANG="pt_BR.UTF8";
213 id="SAO PAULO";
214 print_dateline "$@";
215 ); line_sep;
216
217 # Buenos Aires
218 (
219 export TZ=America/Argentina/Buenos_Aires;
220 export LANG="es_AR.UTF8";
221 id="BUENOS AIRES";
222 print_dateline "$@";
223 ); line_sep;
224
225 # London, England
226 (
227 export TZ=Europe/London;
228 export LANG="en_GB.UTF-8";
229 id="LONDON";
230 print_dateline "$@";
231 ); line_sep;
232
233 # Kinshasa, Africa
234 (
235 export TZ=Africa/Kinshasa;
236 export LANG="ln_CD.UTF8";
237 id="KINSHASA";
238 print_dateline "$@";
239 ); line_sep;
240
241 # Lagos, Africa
242 (
243 export TZ=Africa/Lagos;
244 export LANG="en_NG.UTF8";
245 id="LAGOS";
246 print_dateline "$@";
247 ); line_sep;
248
249 # Paris, France
250 (
251 export TZ=Europe/Paris;
252 export LANG="fr_FR.UTF8";
253 id="PARIS";
254 print_dateline "$@";
255 ); line_sep;
256
257 # Stockholm, Sweden
258 (
259 export TZ=Europe/Stockholm;
260 export LANG="sv_SE.UTF8";
261 id="STOCKHOLM";
262 print_dateline "$@";
263 ); line_sep;
264
265 # Helsinki, Finland
266 (
267 export TZ=Europe/Helsinki;
268 export LANG="fi_FI.UTF8";
269 id="HELSINKI";
270 print_dateline "$@";
271 ); line_sep;
272
273 # Cairo, Egypt
274 (
275 export TZ=Africa/Cairo;
276 export LANG="ar_EG.UTF8";
277 id="CAIRO";
278 print_dateline "$@";
279 ); line_sep;
280
281 # Gaza City, Palestine (pop. (2017): 590,481)
282 (
283 export TZ=Asia/Gaza;
284 export LANG="ar_JO.UTF-8"; # ar_PS is missing as of 2023-10-18, using ar_JO as closest substitute.
285 id="GAZA";
286 print_dateline "$@";
287 ); line_sep;
288
289 # Tel Aviv, Israel (pop. (2021): 467,875)
290 (
291 export TZ=Asia/Tel_Aviv;
292 export LANG="he_IL.UTF-8";
293 id="TEL AVIV";
294 print_dateline "$@";
295 ); line_sep;
296
297 # Athens (pop. (2020): 3,526,887)
298 (
299 export TZ=Europe/Athens;
300 export LANG="el_GR.UTF8";
301 id="ATHENS";
302 print_dateline "$@";
303 ); line_sep;
304
305 # Istanbul (pop. (2020): 13,719,061)
306 (
307 export TZ=Asia/Istanbul;
308 export LANG="tr_TR.UTF8";
309 id="ISTANBUL";
310 print_dateline "$@";
311 ); line_sep;
312
313 # Tehran, Iran
314 (
315 export TZ=Asia/Tehran;
316 export LANG="fa_IR.UTF8";
317 id="TEHRAN";
318 print_dateline "$@";
319 ); line_sep;
320
321 # Moscow, Russia
322 (
323 export TZ=Europe/Moscow;
324 export LANG="ru_RU.UTF-8";
325 id="MOSCOW";
326 print_dateline "$@";
327 ); line_sep;
328
329 # Kyiv, Ukraine (pop. (2021): 2,962,180)
330 (
331 export TZ=Europe/Kyiv;
332 export LANG="uk_UA.UTF-8";
333 id="KYIV";
334 print_dateline "$@";
335 ); line_sep;
336
337 # Delhi, India (pop. (2018): 29,000,000)
338 (
339 export TZ=Asia/Kolkata;
340 export LANG="hi_IN.UTF-8";
341 id="DELHI";
342 print_dateline "$@";
343 ); line_sep;
344
345 # Jakarta, Indonesia (pop. (2018): 33,430,285)
346 (
347 export TZ=Asia/Jakarta;
348 export LANG="id_ID.UTF8";
349 id="JAKARTA";
350 print_dateline "$@";
351 ); line_sep;
352
353 # Singapore, Singapore (pop (2018): 5,792,000)
354 (
355 export TZ=Asia/Singapore;
356 export LANG="en_SG.UTF-8";
357 id="SINGAPORE";
358 print_dateline "$@";
359 ); line_sep;
360
361 # Beijing, China (pop. (2018): 19,618,000)
362 (
363 export TZ=Asia/Shanghai; # [3]
364 export LANG="zh_CN.UTF-8";
365 id="BEIJING";
366 print_dateline "$@";
367 ); line_sep;
368
369 # Taipei, Taiwan (pop (2019): 7,034,084)
370 (
371 export TZ=Asia/Taipei; # [3]
372 export LANG="zh_TW.UTF-8";
373 id="TAIPEI";
374 print_dateline "$@";
375 ); line_sep;
376
377 # Tokyo, Japan (pop. (2018): 37,274,000)
378 (
379 export TZ=Asia/Tokyo;
380 export LANG="ja_JP.UTF8";
381 id="TOKYO";
382 print_dateline "$@";
383 ); line_sep;
384
385 # Seoul, South Korea (pop. (2018): 25,514,000)
386 (
387 export TZ=Asia/Seoul;
388 export LANG="ko_KR.UTF8";
389 id="SEOUL";
390 print_dateline "$@";
391 ); line_sep;
392
393 # Pyongyang, North Korea
394 (
395 export TZ=Asia/Pyongyang;
396 export LANG="ko_KP.UTF8";
397 id="PYONGYANG";
398 print_dateline "$@";
399 ); line_sep;
400
401 # Sydney, Australia
402 (
403 export TZ=Australia/Sydney;
404 export LANG="en_AU.UTF8";
405 id="SYDNEY";
406 print_dateline "$@";
407 ); line_sep;
408
409 # Guam
410 (
411 export TZ=Pacific/Guam;
412 export LANG="en_GU.UTF8";
413 id="GUAM";
414 print_dateline "$@";
415 ); line_sep;
416
417 # Auckland, New Zealand
418 (
419 export TZ=Pacific/Auckland;
420 export LANG="en_NZ.UTF8";
421 id="AUCKLAND";
422 print_dateline "$@";
423 ); line_sep;
424
425 return 0;
426 }; # main program
427
428 main "$@";
429
430 # Author: Steven Baltakatei Sandoval
431 # License: GPLv3+