95.85 出力形式へのオプション (termoption)

コマンド set termoption は、現在使用している出力形式の振舞いを、新た な set terminal コマンドの発行なしに変更することを可能にします。この コマンド一つに対して一つのオプションのみが変更できます。そしてこの方法 で変更できるオプションはそう多くはありません。現在使用可能なオプション は以下のもののみです。


    set termoption {no}enhanced
    set termoption font "<fontname>{,<fontsize>}"
    set termoption fontscale <scale>
    set termoption {linewidth <lw>}{lw <lw>}

竹野茂治@新潟工科大学
2019-05-30