Closed jansorg closed 1 year ago
I just took a look at this in the master branch. It is there:
./zshdb -L . /etc/profile
zsh debugger, zshdb, release 1.1.3dev
Copyright 2008-2011, 2014, 2016-2020, 2023 Rocky Bernstein
This is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
(/etc/profile:4):
if [ "${PS1-}" ]
then
if [ "${BASH-}" ] && [ "$BASH" != "/bin/sh" ]
then
if [ -f /etc/bash.bashrc ]
then
. /etc/bash.bashrc
fi
else
if [ "$(id -u)" -eq 0 ]
then
PS1='# '
else
PS1='$ '
fi
f ...
zshdb<4> info line
info line
Line 4 of "/etc/profile"
zshdb<5>
I Just bumped the version number in master from 1.1.2 to 1.1.3dev so which version you are running is clearer. When the dust settles on the changes I can put out a new release.
info line
is advertised as valid command, but it's currently not implemented.