author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Wed, 29 Mar 2023 23:42:06 +0300 | |
changeset 1018 | 831e2c1bf980 |
parent 1017 | 0d77f5f13675 |
child 1019 | ee5840caf22c |
--- a/.env.bash Mon Feb 27 01:12:44 2023 +0200 +++ b/.env.bash Wed Mar 29 23:42:06 2023 +0300 @@ -19,8 +19,8 @@ export TIME_STYLE=long-iso -# Easy cd to often used dirs. Decided transition from ~/devel to ~/work. -export CDPATH=.:$HOME:$HOME/work:$HOME/devel:$HOME/my +# Easy cd to often used dirs. +export CDPATH=.:$HOME:$HOME/work:$HOME/my my_path_prune() { if [[ :$1: =~ (.*):$2: ]]; then