HOME

printlevel.awk

2017-4-12

これは何?

rpnedit.sed の標準出力を整形するためのスクリプト。(実例は「スタックを使って LaTeX の数式を編集せむ」参照)。

ダウンロード

printlevel.awk (Ver.0.76)

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`"

おわり