Renombrar ficheros con git

Se tarda en leer ~1 minuto

Para renombrar un fichero que está dentro de un repositorio git y seguir haciéndole seguimiento, se pueden utilizar los comandos individuales:

mv nombre_antiguo nombre_nuevo
git rm nombre_antiguo
git add nombre_nuevo

o usar el atajo

git mv nombre_antiguo nombre_nuevo

Ambas opciones son equivalentes.

Si después se quieren ver los commits que han afectado a ese archivo, con

git log nombre_nuevo

sólo se obtendrán los commits realizados desde el cambio de nombre. Si se quieren visualizar todos los commits que le han afectado, incluyendo los anteriores al cambio de nombre, se puede realizar mediante:

git log --follow nombre_nuevo

Comentarios


Usando Regresión Bayesiana por defecto para predicciones

En "Regression and other stories"[^libro], Gelman y compañía comentan que una de las ventajas del planteamiento bayesiano es que todas la...… Seguir leyendo

El Teorema de Gauss-Markov

Publicado el 26 de mayo de 2024

Testing I

Publicado el 05 de octubre de 2021