author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Thu, 09 Nov 2023 12:53:56 +0200 | |
changeset 1020 | ee4b6963627e |
parent 1019 | ee5840caf22c |
child 1021 | 011e1d002d17 |
--- a/.env.bash Sun Oct 29 13:24:48 2023 +0200 +++ b/.env.bash Thu Nov 09 12:53:56 2023 +0200 @@ -20,7 +20,7 @@ export TIME_STYLE=long-iso # Easy cd to often used dirs. -export CDPATH=.:$HOME:$HOME/work:$HOME/my +export CDPATH=.:$HOME:$HOME/work:$HOME/my:$HOME/Documents my_path_prune() { if [[ :$1: =~ (.*):$2: ]]; then