gEDA-dev: geda naming convention

[DJ Delorie]

> OK; should it be /bin/sh or can it be /bin/bash (ksh compatible)?

It should be sh, and sh also supports functions.