2023年01月01日(日) [長年日記]
■ [python] システムのローカルタイムゾーンを持つdatetimeオブジェクトを得る
Pythonでシステムローカルのタイムゾーンを持つdatetimeオブジェクトを得るには、astimezone()メソッドを使う。
引数無し (もしくは tz=None の形 ) で呼び出された場合、システムのローカルなタイムゾーンが変更先のタイムゾーンだと仮定されます。 変換後の datetime インスタンスの .tzinfo 属性には、 OS から取得したゾーン名とオフセットを持つ timezone インスタンスが設定されます。
>>> import datetime >>> datetime.datetime(2023, 1, 1).isoformat() '2023-01-01T00:00:00' >>> datetime.datetime(2023, 1, 1).astimezone().isoformat() '2023-01-01T00:00:00+09:00'
■ [python] コマンドラインでのJSONの整形にPythonを使う
以前にPowerShellを使ったJSONの整形をメモしたが、Pythonが使えるならより柔軟に整形できる。
PythonにはコマンドラインでのJSONの整形用にjson.toolモジュールが用意されているのでこれを使う。
$ echo '{"a": 1, "b1": {"b2": {"b3": {"b4": 2}}}, "c": ["hello", "world"]}' | python -m json.tool
{
"a": 1,
"b1": {
"b2": {
"b3": {
"b4": 2
}
}
},
"c": [
"hello",
"world"
]
}
オプションもいくつか用意されていて助かる。
[ツッコミを入れる]