From 8b8ea9f92243958ad9b3a2ffdd32d6070c66891f Mon Sep 17 00:00:00 2001
From: "Mauro Rosero P." <mauro@rosero.one>
Date: Sat, 15 Mar 2025 13:22:48 -0500
Subject: [PATCH] =?UTF-8?q?[IMPROVED]=20Usar=20archivo=20de=20configuraci?=
 =?UTF-8?q?=C3=B3n=20devspath.dat=20en=20cversadm=5Ftoken.sh?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- Obtener DEVSPATH desde bin/config/devspath.dat para determinar la ubicación correcta
- Usar "devs" como valor predeterminado si el archivo de configuración no existe
- Configurar BIN_HOME usando la ruta obtenida para mayor flexibilidad

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>
---
 bin/cversadm_token.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/bin/cversadm_token.sh b/bin/cversadm_token.sh
index 6a12b38..eaaf85f 100755
--- a/bin/cversadm_token.sh
+++ b/bin/cversadm_token.sh
@@ -24,7 +24,15 @@
 # Configuración inicial
 DEVELOPERS_DIR="$HOME/.developers"
 SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-BIN_HOME="${SCRIPT_DIR}/.."
+
+# Leer DEVSPATH desde el archivo de configuración o usar "devs" por defecto
+if [ -f "$SCRIPT_DIR/config/devspath.dat" ]; then
+  DEVSPATH=$(cat "$SCRIPT_DIR/config/devspath.dat")
+else
+  DEVSPATH="devs"
+fi
+
+BIN_HOME="$HOME/$DEVSPATH"
 BIN_BASE="bin"
 BIN_LIBS="lib"
 BIN_MESG="msg"