Jak sprawdzić godzinę, wie każde dziecko. Wystarczy wpisać w terminalu…
maciej@clover ~ $ date
Wed May 16 23:19:12 IST 2007
O, właśnie tak. Przy okazji dowiadujemy się z zaskoczeniem że został nam podany czas IST, czyli Irish Summer Time. Ha! Lato idzie, Irlandia za oknem, wszystko się zgadza.
A co jeżeli chcemy się dowiedzieć która godzina gdzieś w dalekim kraju zamorskim? Albo wręcz zaoceanicznym? Wczoraj rozpracowaliśmy to z kolegą. Wygląda to tak:
maciej@clover ~ $ TZ=US/Pacific date
Wed May 16 15:19:14 PDT 2007
Pięknie! PDT to Pacific Daylight Time, czas letni zachodniego wybrzeża USA. PDT jest używany w Silicon Valley. Po krótkich poszukiwaniach znalazłem listę miejsc i stref czasowych do których możemy się odwołać, wszystko jest w katalogu /usr/share/zoneinfo.
maciej@clover ~ $ TZ=Europe/Warsaw date
Thu May 17 00:24:32 CEST 2007
Tak wygląda czas w pewnym mniej znanym kraju na obrzeżach Europy. Europa nas nie ogranicza, możemy wybrać się dalej na wschód:
maciej@clover ~ $ TZ=KGB date
Wed May 16 22:25:14 KGB 2007
Jak widać, zawartość katalogu /usr/share/zoneinfo też nie stanowi bariery. Co ciekawe, mechanizm ten potrafi poradzić sobie z napisami w UTF-8.
maciej@clover ~ $ TZ="roku pańskiego" date
Wed May 16 22:26:09 roku pańskiego 2007
Komentarze
©2003-2024 Maciej Bliziński