Archivo historico de la wiki de EGC

Contenido archivado y de solo lectura, importado de la wiki original en julio de 2026. Puede contener enlaces rotos y material obsoleto.

Borrado y renombrado de ficheros

Para borrar un fichero del repositorio tienes que hacer:

# git rm fichero

Para borrar un directorio completo se emplea:

# git rm -r directorio

Y después aplicar el cambio:

# git commit -a

Para renombrar un fichero:

# git mv fichero fichero2

Y después aplicar el cambio:

# git commit -a