Note also that the *shell* issue is hard because it's hardcoded into scripts in various ways, so you really need /bin/sh to work whatever it is -- the use of "cp", however, can be dealt with by adding /usr/gnu/bin to your path :-) -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to debian-devel-request@lists.debian.org . Trouble? e-mail to templin@bucknell.edu .