* user.c (execute_menu_command): Put /bin/sh in the beginning of
commit9fe5ee23c9c3c0db81c1c735f7cc085298e3603d
authorPavel Roskin <proski@gnu.org>
Fri, 23 Jan 2004 17:33:36 +0000 (23 17:33 +0000)
committerPavel Roskin <proski@gnu.org>
Fri, 23 Jan 2004 17:33:36 +0000 (23 17:33 +0000)
treee1f8182c7c5da89d414beea03b45d8305a5c8ba9
parenta8261b28d667f5091deeb59d0aee5204dbfcadee
* user.c (execute_menu_command): Put /bin/sh in the beginning of
the script.
src/ChangeLog
src/user.c