On Thu, Jun 12, 2003 at 07:19:27PM +0200, Sebastian Kapfer wrote: > On Thu, 12 Jun 2003 17:50:12 +0200, Gregory Seidman wrote: > > > Let me add one more detail: anyone who is about to write a shell script > > should read this page http://www.faqs.org/faqs/unix-faq/shell/csh-whynot/ > > Some of it is outdated, but the majority of it still applies. The short > > version: scripts should use /bin/sh. > > BTW, is #!/bin/bash a valid choice for a Debian "official" shell script? > (e.g. an init.d script of a .deb package) Sometimes those bash-isms are > sooo practical :-) After all, bash is an essential package AFAIK.
Based on the Developer Reference, I would say yes: http://www.debian.org/doc/developers-reference/ch-best-pkging-practices.en.html#s-bpp-debian-maint-scripts -- Jamin W. Collins Remember, root always has a loaded gun. Don't run around with it unless you absolutely need it. -- Vineet Kumar -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
