100 Printerr

printerrprint コマンドとほぼ同じですが、その前の set print コマンドの効果が続いている状態でも出力を常に stderr に送るところだけが 違います。
竹野茂治@新潟工科大学
2023-08-29