Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- truncated_pwd () {
- local pwdmaxlen=45
- local trunc_symbol="…"
- local dir=${PWD##*/}
- pwdmaxlen=$(( ( pwdmaxlen < ${#dir} ) ? ${#dir} : pwdmaxlen ))
- NEW_PWD=${PWD/#$HOME/\~}
- local pwdoffset=$(( ${#NEW_PWD} - pwdmaxlen ))
- if [ ${pwdoffset} -gt "0" ]
- then
- NEW_PWD=${NEW_PWD:$pwdoffset:$pwdmaxlen}
- NEW_PWD=${trunc_symbol}/${NEW_PWD#*/}
- fi
- echo $NEW_PWD
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement