�� bash (��)

Tue, 18 Jun 2002 11:30:24 GMT

#=- how many characters of the $PWD should be kept
function cut_pwd
{
if [ $HOME == ${PWD:0:${#HOME}} ]
then
newPWD="~${PWD:${#HOME}}"
else
newPWD=$PWD
fi

local pwdmaxlen=15
if [ ${#newPWD} -gt $pwdmaxlen ]
then
local pwdoffset=$(( ${#newPWD} - $pwdmaxlen ))
newPWD=".+${newPWD:$pwdoffset:$pwdmaxlen}"
fi

}

PROMPT_COMMAND=cut_pwd

OpenForum RSS: OpenNews: ����������� ��������� ����������� bash

����������� ��������� ����������� bash (������)

OpenForum RSS: OpenNews: �� bash

�� bash (��)