/bin/zsh4-static is in zsh-static 5.0.7-5+b1.
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 | #!/bin/zsh5-static -f
# This wrapper's sole purpose is to ease the migration of zsh's binary
# location from /bin/zsh4 to /bin/zsh5 between Debian Wheezy and Jessie.
#
# See https://bugs.debian.org/707760 for reasoning, details and
# discussion.
if [[ "$0" == *zsh4* ]]; 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/zsh5${static}" "$@"
|