# Cut directories to 20% of the terminal width; add space for 3 dots
_DIR_LENGTH=`awk "END { print int(0.2 * ${COLUMNS:-80}) }" </dev/null`
_DIR_LENGTH_DOTS=`expr $_DIR_LENGTH + 3`
# Cut directories to 20% of the terminal width; add space for 3 dots
_DIR_LENGTH=`awk "END { print int(0.2 * ${COLUMNS:-80}) }" </dev/null`
_DIR_LENGTH_DOTS=`expr $_DIR_LENGTH + 3`