urls.txtには、1行に一つのURLが記述されているとします。これを、アンカーのリストであるHTMLに変換しようと思ったのです。なんかスクリプト言語を使うか、とも思ったのですが、printfコマンドがあるからシェルのワンライナーでもいいだろうと、 $ (echo '<ol>'</ol>…