You didn't find executables because they are part of your shell.
>From man bash
DIRSTACK
An array variable (see Arrays below) containing the current
contents of the directory stack. Direc‐
tories appear in the stack in the order they are displayed by the
dirs builtin. Assigning to members
of this array variable may be used to modify directories already
in the stack, but the pushd and popd
builtins must be used to add and remove directories. Assignment
to this variable will not change the
current directory. If DIRSTACK is unset, it loses its special
properties, even if it is subsequently
reset.
The commands dirs, pushd, and popd work on this array. Dirs views the array,
pushd puts a dir on the array, and popd
pulls off an entry. Oh and dirs -c can erase the array.
I find pushd and popd useful when writing scripts where I want to change dir
somewhere due to applications wanting
relative paths instead of absolute paths. So at the beginning of the script I
pushd, and before exiting I can popd
to put the user back in the starting dir. This allows the script to be run with
source instead of in a sub shell
and maintain expectation of being in the directory one started the script in
when you leave it.
BTW, source is one of those neat commands to bash and possibly other shells
that runs a script in your current shell
as if you had actually typed the commands yourself. The benefit of using source
is that you can have a script set up
an environment variable or several and when it exits, you still have those
variables set.
Think of source as a way of having some settings that you want to use for dev
work, some for admin work, and some
for normal user tasks. You can start your term, source the environment you want
to use and off you go with your custom
environment for those tasks.
--
Steven Critchfield [EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"NLUG" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/nlug-talk?hl=en
-~----------~----~----~----~------~----~------~--~---
