From 74665ef04d09327467bbddd374992e669115ae3e Mon Sep 17 00:00:00 2001 From: "Mauro Rosero P." Date: Wed, 12 Mar 2025 20:59:35 -0500 Subject: [PATCH] [IMPROVED] Crear la carpeta .developer en $HOME si no existe al seleccionar un servidor git MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude --- bin/project_new.sh | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/bin/project_new.sh b/bin/project_new.sh index b85bb35..d186c04 100755 --- a/bin/project_new.sh +++ b/bin/project_new.sh @@ -311,6 +311,15 @@ function request_git_server() { dialog_error_box "$head_error" "El tipo de servidor Git seleccionado no es válido" request_git_server fi + + # Si la selección es diferente de "none", verificar que exista la carpeta .developer en $HOME + if [ "$PROJECT_GIT_SERVER" != "none" ]; then + DEVELOPER_DIR="$HOME/.developer" + if [ ! -d "$DEVELOPER_DIR" ]; then + # Crear la carpeta .developer si no existe + mkdir -p "$DEVELOPER_DIR" + fi + fi } # Función para crear la estructura del proyecto