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