# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1669669713 -7200
# Node ID 2b1061d35183a6fcf916c75f33ab9c22a72e2bb5
# Parent  c7b2842e3f39572fbd6f9051035f3b554566a01f
Decided transition from ~/devel to ~/work.

diff -r c7b2842e3f39 -r 2b1061d35183 .env.bash
--- 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