This file is indexed.

/usr/share/zsh/help/pushd is in zsh-common 5.0.7-5.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
pushd [ -qsLP ] [ arg ]
pushd [ -qsLP ] old new
pushd [ -qsLP ] {+|-}n
       Change the current directory, and push the old current directory
       onto the directory stack.  In the first form, change the current
       directory to arg.  If arg is not specified, change to the second
       directory on the stack (that is, exchange the top two  entries),
       or  change  to  $HOME  if  the PUSHD_TO_HOME option is set or if
       there is only one entry on the stack.  Otherwise, arg is  inter-
       preted  as it would be by cd.  The meaning of old and new in the
       second form is also the same as for cd.

       The third form of pushd changes directory by rotating the direc-
       tory  list.   An  argument  of  the form `+n' identifies a stack
       entry by counting from the left of the list shown  by  the  dirs
       command,  starting  with  zero.   An  argument  of the form `-n'
       counts from the right.  If the PUSHD_MINUS option  is  set,  the
       meanings of `+' and `-' in this context are swapped.

       If  the  -q (quiet) option is specified, the hook function chpwd
       and the functions in the array $chpwd_functions are not  called,
       and  the new directory stack is not printed.  This is useful for
       calls to pushd that do not change the  environment  seen  by  an
       interactive user.

       If  the  option  -q  is  not  specified  and  the  shell  option
       PUSHD_SILENT is not set, the directory  stack  will  be  printed
       after a pushd is performed.

       The  options  -s, -L and -P have the same meanings as for the cd
       builtin.