特殊hh mmを他の時間帯に変更

特殊hh mmを他の時間帯に変更

0710(GMT 07:10 + 0)を0810(GMT 08:10 + 1)に変更したい

Linuxでどのコマンドを使用できますか?

ご支援ありがとうございます!

ベストアンサー1

4桁の時間値に1時間を追加する場合は、それを標準の10進数として扱い、100モジュールとして2400を追加するだけです。

実際にはそれより少し複雑です。なぜなら、シェルが値を8進数として扱わないように、最初に前のゼロをすべて削除してから、結果を4桁に再構成する必要があるからです。

a=0710
b=$( printf "%04d" $(( (${a##0}+100) % 2400 )) )
echo b=$b    # "0810"

一方、タイムゾーン(および日付)によって異なる可能性がある実際の日付/時刻算術を実行するには、要件をより正確に指定する必要があります。

おすすめ記事