changeset 1005 | 2b1061d35183 |
parent 1003 | 66cfeaa7598e |
child 1018 | 831e2c1bf980 |
--- a/.env.bash Mon Nov 28 23:05:22 2022 +0200 +++ b/.env.bash Mon Nov 28 23:08:33 2022 +0200 @@ -19,8 +19,8 @@ export TIME_STYLE=long-iso -# Easy cd to often used dirs. -export CDPATH=.:$HOME:$HOME/devel:$HOME/my +# Easy cd to often used dirs. Decided transition from ~/devel to ~/work. +export CDPATH=.:$HOME:$HOME/work:$HOME/devel:$HOME/my my_path_prune() { if [[ :$1: =~ (.*):$2: ]]; then