On Sun, 03 Feb 2002, Malcolm Parsons wrote: > That's because all settings for devpts.sh are set in > /etc/default/devpts. So there should be no need to change devpts.sh. > > Should this bug be reopened with a serious severity? Yes, of course. -- "One disk to rule them all, One disk to find them. One disk to bring them all and in the darkness grind them. In the Land of Redmond where the shadows lie." -- The Silicon Valley Tarot Henrique Holschuh