#!/usr/bin/awk -f BEGIN { format1 ="%10s %6s\n"; format2 ="%10s %6d\n"; printf(format1, "String", "Number"); } { printf(format2, 1,ドル 2ドル); }
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル