2017-4-12
rpnedit.sed の標準出力を整形するためのスクリプト。(実例は「スタックを使って LaTeX の数式を編集せむ」参照)。
vt-100 的なコントロールシーケンスを使っているので、サポートしていないターミナルでは使えない。
statusline オプションの値には、最終行に表示する文字列を指定。ttyrows オプションにはターミナルの行数を指定(たとえば tput lines や stty size の 1 コラム目で得られるやつ)。
awk -f YOUR/PATH/TO/printlevel.awk -v "statusline=as you like" -v "ttyrows=`tput lines`"
おわり