91 Printerr

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