On 2008-03-28, Eric Blake wrote:
Chris F.A. Johnson cfajohnson at gmail.com writes:
You can find a shell function to replace the external basename
command at: http://cfaj.freeshell.org/shell/scripts/basename-sh.
Except that your example is not POSIX-compliant. POSIX requires
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
According to Chris F.A. Johnson on 3/29/2008 10:53 AM:
| Also, on platforms where // is special (such as cygwin), 'basename //'
| and 'basename // /' should print '//', not '/', to match the behavior
of the
| basename program on those platforms.
|
|
From: jbb
To: bug-bash@gnu.org
Subject: gnu software configure error
Configuration Information [Automatically generated, do not
change]:
Machine: i586
OS: linux-gnu
Compiler: gcc -I/usr/src/packages/BUILD/bash-3.2
-L/usr/src/packages/BUILD/bash-3.2/../readline-5.2
Compilation CFLAGS:
John B. Brown wrote:
Description: Attempting to run 'configure', or any shell
script with #! /bin/sh, results in the error message:
bash: ./configure: /usr/bin/bash: bad interpreter:
Permission denied
I suspect that the permissions on /usr/bin/bash are preventing you
from running