mrosero/devs
mrosero/devs
1
0
Fork 0
Code Packages Activity

[IMPROVED] Crear la carpeta .developer en $HOME si no existe al seleccionar un servidor git

Browse source 
🤖 Generated with [Claude Code](https://claude.ai/code)
Co-Authored-By: Claude <noreply@anthropic.com>
This commit is contained in:
Mauro Rosero P. 2025-03-12 20:59:35 -05:00
parent 59d8c34136
commit 74665ef04d
Signed by: mrosero
GPG key ID: 83BD2A5F674B7E26
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
bin/project_new.sh
View file

@ -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