equal
deleted
inserted
replaced
21 |
21 |
22 # Easy cd to often used dirs. |
22 # Easy cd to often used dirs. |
23 export CDPATH=.:$HOME:$HOME/devel:$HOME/my |
23 export CDPATH=.:$HOME:$HOME/devel:$HOME/my |
24 |
24 |
25 my_path_prune() { |
25 my_path_prune() { |
26 if [[ :$1: =~ (.*):$2:(.*) ]]; then |
26 if [[ :$1: =~ (.*):$2: ]]; then |
27 local left=${BASH_REMATCH[1]} |
27 local left=${BASH_REMATCH[1]} |
28 local right=${BASH_REMATCH[2]} |
28 local right=${1:$((${#left} + ${#2} + 1))} |
29 [[ ${left:0:1} = : ]] && left=${left:1} |
29 [[ ${left:0:1} = : ]] && left=${left:1} |
30 [[ ${right: -1} = : ]] && right=${right:0: -1} |
30 [[ ${right: -1} = : ]] && right=${right:0: -1} |
31 if [[ -z $left ]]; then |
31 if [[ -z $left ]]; then |
32 my_path_prune=$right |
32 my_path_prune=$right |
33 elif [[ -z $right ]]; then |
33 elif [[ -z $right ]]; then |