Si queremos hacer commit de sólo los archivos eliminados bastará con ejecutar el siguiente comando:
|
1 |
git ls-files --deleted -z | xargs -0 git rm |
|
1 |
git commit |
Fuente: http://stackoverflow.com/questions/492558/removing-multiple-files-from-a-git-repo-that-have-already-been-deleted-from-disk
|
1 |
git reset --hard |
Para que no se haga push o commit de ciertos archivos de nuestro proyecto, por ejemplo, un archivo de configuración, tendremos que añadir un archivo llamado .gitignore a nuestro repositorio, que contenga el nombre del archivo que queremos ignorar, por ejemplo:
|
1 |
Configuracion.php |
Una vez guardado, ejecutaremos en el terminal
|
1 |
git rm -r --cached . |
Seguido de:
|
1 |
git add . |
y de: […]
Este error se debe a un problema con los permisos de las carpetas del repositorio, ej: repositorio.git por lo que asignándoles los permisos necesarios se puede solucionar:
|
1 2 3 4 |
cd repositorio.git sudo chmod -R g+ws * sudo chgrp -R git * |
Donde git es el grupo de usuarios que van a acceder al repositorio.
¿Has hecho git pull en tu servidor y lo has roto todo? ¡No te preocupes! Con GIT puedes volver atrás con un solo comando:
|
1 |
git reset --hard HEAD~1 |
Con esto iremos un paso atrás en nuestro control de versiones y recuperaremos la versión anterior del programa. El número 1 del comando es el número de pasos atrás que […]
Para tener repositorios en nuestro propio servidor, partiendo de la base que tenemos git instalado, necesitamos una serie de pasos. En este caso vamos a imaginarnos el siguiente escenario: Tenemos una aplicación llamada my_app en una carpeta del mismo nombre, my_app/. En nuestro servidor tenemos la siguiente estructura de carpetas: /var/www/repositorios/ /var/www/desarrollo/ /var/www/produccion/ Dentro de […]