Resultados de Búsqueda
Tipo de búsqueda | Sintaxis de búsqueda |
---|---|
Etiquetas | [etiqueta] |
Exacto | "escribir palabras aquí" |
Autor |
user:1234 user:me (tuyas) |
Puntuación |
score:3 (3+) score:0 (ninguna) |
Respuestas |
answers:3 (3+) answers:0 (ninguna) isaccepted:yes hasaccepted:no inquestion:1234 |
Vistas | views:250 |
Código | code:"if (foo != bar)" |
Secciones |
title:manzanas body:"peras manzanas" |
URL | url:"*.example.com" |
Guardados | in:saves |
Estado |
closed:yes duplicate:no migrated:no wiki:no |
Tipos |
is:question is:answer |
Excluir |
-[etiqueta] -manzanas |
Visita nuestra página de ayuda para obtener más información sobre la búsqueda avanzada |
1 resultado
Git es un sistema de control de versiones distribuido, gratuito y de código abierto.
1
voto
¿Cómo recuperar archivos eliminados localmente tras clonar con git pull?
Con git pull no se puede recuperar un fichero que hayas borrado. Así que te queda esta opción (sin contar el
Si mal no recuerdo era el siguiente comando:
git checkout HEAD^ ruta_fichero …