(2023-08-22 初稿) 恥ずかしながら、つい最近までbashでprintfが使えることを知らなかった。 これまで、echoで一生懸命整形したり加工したりして出力してたこと。^^; さて、printfの使い方は、man 3 printf等を見て欲しいが、echoと違ってとても高機能。 い…