maxima 5.14.0 release candidate 1



Jaime Villate wrote:
> 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?
> 

Standard sh doesn't have pushd/popd.   I think some Linux systems use 
bash for sh.

Ray