Use .z-dk/tools not .dk/tools

We don't want a `.dk` folder to be typed or confused as the `./dk` launcher.
diskuv · Oct 25, 2024 · 04868ce · 04868ce
1 parent 63d386b
commit 04868ce
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dk b/dk
@@ -500,8 +500,8 @@ fi
 #   2. Check if CI since many CI providers can only cache content in a subdirectory
 #      of the project.
 if [ -z "$tools_dir" ] && [ "${CI:-}" = true ]; then
-  install -d "$PROJ_DIR/.dk/tools"
-  tools_dir="$PROJ_DIR/.dk/tools"
+  install -d "$PROJ_DIR/.z-dk/tools"
+  tools_dir="$PROJ_DIR/.z-dk/tools"
 fi
 #   3. Check in locations rooted under /opt/diskuv
 #      We look under a /opt/diskuv early because