Bug#530054: clisp-dev: bashism in /bin/sh script

[Peter Van Eynde]

Hello Raphael,

I don't know what went wrong there, but you're right it is still there,
however in the code you can read:

>     # Use a simple mkdir command. It is guaranteed to fail if the directory
>     # already exists.  $RANDOM is bash specific and expands to empty in shells
>     # other than bash, ksh and zsh.  Its use does not increase security;
>     # rather, it minimizes the probability of failure in a very cluttered /tmp
>     # directory.
>     tmp=$TMPDIR/gt$$-$RANDOM
>     (umask 077 && mkdir "$tmp")

so the bashism is expected to degrade peacefully for non-bash scripts.

I suppose that we can accept this behavior?

Groetjes, Peter

-- 
signature -at- pvaneynd.mailworks.org
http://www.livejournal.com/users/pvaneynd/
"God, root, what is difference?" Pitr | "God is more forgiving." Dave
Aronson|