43.63 Termoption
コマンド set termoption は、現在使用している出力形式の振舞いを、新た
な set terminal コマンドの発行なしに変更することを可能にします。この
コマンド一つに対して一つのオプションのみが変更できます。そしてこの方法
で変更できるオプションはそう多くはありません。現在使用可能なオプション
は以下のもののみです。
set termoption {no}enhanced
set termoption font "<fontname>{,<fontsize>}"
竹野茂治@新潟工科大学
2009年4月5日