Advertisement
Guest User

Untitled

a guest
Jul 7th, 2015
246
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.37 KB | None | 0 0
  1. truncated_pwd () {
  2. local pwdmaxlen=45
  3. local trunc_symbol="…"
  4. local dir=${PWD##*/}
  5. pwdmaxlen=$(( ( pwdmaxlen < ${#dir} ) ? ${#dir} : pwdmaxlen ))
  6. NEW_PWD=${PWD/#$HOME/\~}
  7. local pwdoffset=$(( ${#NEW_PWD} - pwdmaxlen ))
  8. if [ ${pwdoffset} -gt "0" ]
  9. then
  10. NEW_PWD=${NEW_PWD:$pwdoffset:$pwdmaxlen}
  11. NEW_PWD=${trunc_symbol}/${NEW_PWD#*/}
  12. fi
  13. echo $NEW_PWD
  14. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement