bash feature request: pushd -v, popd -v

[Ben Horowitz]

Hi,

I love bash, and I've been using it for a number of years.  Recently,
I worked with software engineers who used tcsh primarily, where I grew
to appreciate one feature of tcsh: the ability to use the commands
pushd -v, and popd -v.

As you know, when the bash pushd and popd commands are successful,
they print the directory stack.  In tcsh, one can additionally issue
the command pushd -v, which is like the bash commands pushd followed
by dirs -v.  This feature appears not to be available in bash.

  tcsh> pushd -v /tmp
  0       /tmp
  1       /

I find this to be a good feature of tcsh because I find that the
output of dirs without the -v argument can get cluttered, especially
when there are many directories on the stack.

So, I'd like to request that this feature be added to bash, if such an
addition is feasible.  Obviously I'm going to keep using bash
regardless of whether this request is feasible. :)

Thanks,
Ben Horowitz

P.S. Here is version information - it is possible that this feature
has been added to a newer version of bash than I have:

$ bash --version
GNU bash, version 2.05b.0(1)-release (i386-pc-linux-gnu)
Copyright (C) 2002 Free Software Foundation, Inc.

$ uname --all
Linux [machine name omitted] 2.6.12.1 #2 SMP Thu Jun 23 14:01:21 PDT
2005 i686 GNU/Linux

$ gcc --version
gcc (GCC) 3.4.0