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

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


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

竹野茂治@新潟工科大学
2023-11-28