Dave Uhring wrote:

> I forgot to mention.... A few months back mplayer's configure script
> added something which pukes using #!/bin/sh. Change the she-bang to
> #!/usr/bin/bash. The penguins usually symlink /bin/bash to /bin/sh; after
> all, they're the same, aren't they?

It's changing. For example Debian and Ubuntu have dash as /bin/sh these
days. And yes, it "broke numerous shell scripts that relied upon
bash-specific functionality." I suppose bashisms will be fixed in
sort-of near future, thanks to popular distribution (Ubuntu) using
something else for /bin/sh.

For your gloating pleasure:

http://en.wikipedia.org/wiki/Debian_Almquist_shell

--
.-. .-. Yes, I am an agent of Satan, but my duties are largely
(_ \ / _) ceremonial.
|
| dave@fly.srk.fer.hr