☰

日付を「10月1日20:00」から「10月1日20:00」形式（スペースパディング）に変換するには？

tag-icon • tag-icon shell-script date
日付を「10月1日20:00」から「10月1日20:00」形式（スペースパディング）に変換するには？

これはゼロなしでOct 01印刷する必要があります。Oct 1たとえば、10月と1日の間に2つのスペースが必要ですOct 1。

ベストアンサー1

GNUの使用date:

date -d "Oct 01 20:00" "+%b %_d %k:%M"

どこ：

  • %b：ロケールの月名の略語（例：Jan）
  • %_d：1月のある日（空白が埋まる）
  • %k：時間（0..23）
  • %M：分（00..59）

出力：

Oct  1 20:00

おすすめ記事