maxima 5.14.0 release candidate 1



On Wed, 2007-12-05 at 08:55 -0700, Robert Dodier wrote:
> Does cd work, and pushd does not? That is kind of puzzling;
> I would expect either both work or both do not, since both are
> not program names (they are recognized by the shell).

Yes, cd works and pushd doesn't and I'm also puzzled because I have just
noticed that it does not have anything to do with "sudo" as I said in my
previous message. Look at these two scripts, test1.sh and test2.sh,
which were supposed to print the same result:

#############   test1.sh ##############
WORKING_DIRECTORY="/tmp"
d=`pwd`
cd $WORKING_DIRECTORY
echo `pwd`
cd $d

#############   test2.sh ##############
WORKING_DIRECTORY="/tmp"
pushd $WORKING_DIRECTORY
echo `pwd`
popd

Now look at the result in my system:

$ sh ./test1.sh
/tmp

$ sh ./test2.sh
./test2.sh: 3: pushd: not found
/home/villate
./test2.sh: 5: popd: not found

However, pushd and popd work OK:

$ pushd /tmp
/tmp ~
$ popd
~

Perhaps "sh" is running a different shell than my working session?

Regards,
Jaime