[gnu.bash.bug] script problems with BASH

anantha%ravi@Sun.COM (Anantha Srirama) (09/14/89)

I am encountering the following problem.

	1. I have a shell script as follows (in my bin directory):
	
	# !/home/poppy/anantha/bash
	if [ "$IN_SUNTOOLS" = "damn_right" ] ; then
	    exec shelltool -Wp 0 0 -Ws 570 772 -WP 192 836 -Wl "Emacs - A Real Mans Editor" -WL "Emacs" /usr/local/bin/gnuemacs $@
	else
	    exec /usr/local/bin/gnuemacs $@
	fi

When I try to run this script from BASH, it sources my .profile file.  According
to the documentation it is not supposed to do so (look in the file FEATURES
which was distribuited with BASH-1.03).  I don't have the variable ENV defined.
I do have the following files in $HOME:

	.profile
	.bashrc
	.bash_profile

My .profile is written with SH and KSH in mind, it has some of the KSH specific
builtins like 'whence'.  This throws off the BASH completely.

Anybody else experience the same problem???  Thanks for your time.

	-Anantha-

*******************************************************************************
Anantha Padmanabha N. Srirama		|	USENET:	...sun!ravi!anantha
Sun Microsystems			|		...sun!anantha@ravi
2550, Garcia Ave.  MS: 16-02		|		...sun!anantha
Mt. View,  CA-94043			|	ARPA:	anantha@sun.com
*******************************************************************************