> Is there a public source repository for bash? I could not find > this information in the main homepage.
There is no public source repository. > I'd like to provide a patch for it. You can send it to bug-b...@gnu.org. If you could use bashbug, that would be better. Thanks. Chet -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/