This file is indexed.

/bin/zsh5 is in zsh 5.4.2-3ubuntu3.1.

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

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
#!/bin/zsh -f

# This wrapper's sole purpose is to ease the migration of zsh's binary
# location from /bin/zsh5 to /bin/zsh between Debian Jessie and
# Stretch since zsh no more uses the alternatives system as there is
# only one version of zsh left in Debian since Jessie.
#
# Related bug report: https://bugs.debian.org/768079

if [[ "$0" == *zsh5* ]]; then
    static=''
    if [[ "$0" == *static* ]]; then
        static=-static
    fi

    echo ""
    echo "    ####"
    echo "    ####  $0 is deprecated, please switch to /bin/zsh${static} (or /usr/bin/zsh)"
    if [[ "$1" == "-l" || "$0" == -* ]]; then
        echo '    ####  Use "chsh -s '"/bin/zsh${static}"'" to change your login shell'
    fi
    echo "    ####  This command ($0) will disappear eventually!"
    echo "    ####"
    echo ""
fi 1>&2

exec "/bin/zsh${static}" "$@"