Diferencias

Muestra las diferencias entre dos versiones de la página.

--- clase:daw:daw:1eval:tema01 [2026/05/18 09:42] – [Diff] Lorenzo
+++ clase:daw:daw:1eval:tema01 [2026/10/19 13:12] (actual) – [Instalando Git] Lorenzo
@@ Línea 33: / Línea 33: @@
   Amén
   ---Javier del Moral (2023)
-====== Instalando Git ======
-Al instalar Git en Windows hay varias opciones a tener en cuenta que explicaremos en clase.
-Una vez instalado Git, hay que indicar cual es nuestro nombre y nuestro correo.
-  git config --global user.name "juan"
+===== Instalando Git =====
-  git config --global user.email juan@micorreo.com
+==== Windows ====
+Se instala [[https://gitforwindows.org/|Git for Windows]], que trae **Git Bash**, un bash con los comandos de Linux. Hace falta para ejecutar scripts de bash como los ''.sh'' del proyecto. Dos pantallas del instalador importan:
-Por último , si estás en el **instituto** , habrá que configurar el proxy:
+  * En la siguiente pantalla se debe marcar: **«Use Git and optional Unix tools from the Command Prompt»**: git y los comandos de Linux en cualquier terminal (Git Bash, ''cmd'' y PowerShell), que es lo que necesita un agente de IA para un ''./app.sh start'' o un ''ls''. El aviso de que tapa el ''find'' y el ''sort'' de Windows no afecta.
-  git config --global http.proxy http://172.16.0.9:8080
+{{:clase:daw:daw-proyecto:git-setup-bash.png?500|}}
-  git config --global https.proxy http://172.16.0.9:8080
+\\
+\\
-Para instalar Git en Linux y que sea la última versión usaremos los siguientes comandos (Ya que por ejemplo en Ubuntu 18.04 la versión e un poco //vieja//):
+  * En la siguiente pantalla se debe marcar: **«Only ever fast-forward»**: no se debe usar ''git pull'' ([[#sincronizacion_de_git|ver más abajo]]), pero si alguien lo hace por costumbre, falla cuando las historias han divergido en vez de crear un merge sin avisar. Es lo mismo que hace ''%%git merge --ff-only%%''.
+{{:clase:daw:daw-proyecto:git-setup-pull.png?500|}}
+==== Linux ====
+Para tener la última versión de Git se instala desde su PPA:
   sudo add-apt-repository ppa:git-core/ppa
   sudo apt update
   sudo apt install git
+Y se configura lo mismo que en Windows se elige con «Only ever fast-forward»: que ''git pull'' falle si las historias han divergido en vez de crear un merge.
+  git config --global pull.ff only
+==== Windows/Linux ====
+Una vez instalado Git, hay que indicar cual es nuestro nombre y nuestro correo.
+  git config --global user.name "juan"
+  git config --global user.email juan@micorreo.com
+Si estás en el **instituto**, habrá que configurar el proxy:
+  git config --global http.proxy http://172.16.0.9:8080
+  git config --global https.proxy http://172.16.0.9:8080
 ===== El inicio de Git =====