Re: Problem with noninteractive bash initialization

2003-11-20 Thread Wirawan Purwanto
On Wed, 19 Nov 2003, Igor Pechtchanski wrote: > Don't know, WFM: > > $ echo '#!/bin/bash > echo "Hellow"' > xyz > $ bash -x xyz > + echo Hellow > Hellow > $ bash --version > GNU bash, version 2.05b.0(1)-release (i686-pc-cygwin) > Copyright (C) 2002 Free Software Foundation, Inc. > $ > > BTW, the

RE: Problem with noninteractive bash initialization

2003-11-20 Thread Morche Matthias
en more accurate to mention the invoking of ~/.bashrc explicitly. matthias > -Original Message- > From: Wirawan Purwanto [mailto:[EMAIL PROTECTED] > Sent: Thursday, November 20, 2003 4:38 PM > To: Morche Matthias > Cc: [EMAIL PROTECTED] > Subject: RE: Problem with non

RE: Problem with noninteractive bash initialization

2003-11-20 Thread Larry Hall
Perhaps. But it's more likely to be something local in your environment. As stated in , your problem is not reproducible generally so you're going to need to dig a little deeper to find its source. Larry At 10:38 AM 11/20/2003, Wirawan Purwa

RE: Problem with noninteractive bash initialization

2003-11-20 Thread Wirawan Purwanto
Yes, BUT I suppose that the shell used for executing a script is a NON-interactive shell, because it doesn't take _commands_ from the user, rather from the script. Isn't this right? Therefore it does not agree with the prescribed behavior in the documentation. Wirawan On Thu, 20 Nov 2003, Morche

RE: Problem with noninteractive bash initialization

2003-11-20 Thread Hannu E K Nevalainen
> From: Igor Pechtchanski > Sent: Wednesday, November 19, 2003 10:15 PM > On Wed, 19 Nov 2003, Wirawan Purwanto wrote: > > > Hi, > > > > How should a noninteractive bash begin (i.e. for executing a script)? > > Should bash read init files like ~/.bashrc, ~/.bash_profile, or > > /etc/profile? Accor

Re: Problem with noninteractive bash initialization

2003-11-19 Thread Igor Pechtchanski
On Wed, 19 Nov 2003, Wirawan Purwanto wrote: > Hi, > > How should a noninteractive bash begin (i.e. for executing a script)? > Should bash read init files like ~/.bashrc, ~/.bash_profile, or > /etc/profile? According to bash documentation on > > http://www.gnu.org/manual/bash-2.05a/html_mono/bas