On Wed, 2007-12-05 at 12:09 -0500, Raymond Toy (RT/EUS) wrote:
> Standard sh doesn't have pushd/popd. I think some Linux systems use
> bash for sh.
You're right. That's the reason. In Ubuntu, my login shell is bash, but
when I run "sh" I'm actually running "dash", which is POSIX compliant
and, therefore, it does not implement pushd/popd.
I will then commit my changes to extract_categories.sh, replacing
pushd/popd by cd.
Regards,
Jaime