Mail Archives: djgpp-workers/2000/05/18/04:16:37
On Wed, 17 May 2000, Andris Pavenis wrote:
> CONFIG_SHELL=`echo 'echo $0' | bash.exe -`
> case ${CONFIG_SHELL} in *.exe) ;;
> *) CONFIG_SHELL=${CONFIG_SHELL}.exe;
> test -f ${CONFIG_SHELL} || exit 1
> ;;
> esac;
>
> export CONFIG_SHELL
Thanks!
I think the same could be achieved by forcing SHELL and CONFIG_SHELL
values be /dev/env/DJDIR/bin/sh.exe. Right now, djconfig.sh only sets
them if they aren't already set. This is so the script doesn't
override the settings that the user might have for some good reason,
but maybe it does more harm than it helps, in this case.
- Raw text -