YYYYMMDDhhmmssをYYYY-MM-DD hh:mm:ssに変換するシェル芸

ただの小ネタです。特に説明いらないよね？

$ echo 20240518123456 | sed 's/../& /g' | xargs printf '%s%s-%s-%s %s:%s:%s\n'
2024-05-18 12:34:56

$ printf '%s%s-%s-%s %s:%s:%s\n' $(echo 20240518123456 | sed 's/../& /g')
2024-05-18 12:34:56

bash 5.2以上

$ v=20240518123456; printf '%s%s-%s-%s %s:%s:%s\n' ${v//??/& }
2024-05-18 12:34:56

おしまい