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


Programación funcional

> Los tres principales criterios de la programción funcional como paradigma de computación se pueden resumir:1. Cualquier operación se pu...… Seguir leyendo

Inicio de arrays

Publicado el 14 de septiembre de 2019

Escritura de funciones 'tidy'

Publicado el 25 de mayo de 2018