On Mon, 18 Aug 2003, Christian Weisgerber wrote: > Can we kill the shells/bash (i.e. bash-1.14.7) port? yes, kill it, please. ___________________________ jose nazario, ph.d. jose@monkey.org http://monkey.org/~jose/