At Mon, 17 Jan 2000 05:35:28 +0900, nakahara@xxxxxxxxxxxxxxxxxxxxx wrote: > alternative を使うのは、/etc/alternative/xdvi のつけかえをする手間がか > かるので、/usr/local/bin/xdvi を作るのと大差ありません。 update-alternatives --config xdvi は面倒でしょうか? -- 鵜飼文敏