Suele ocurrir que al usar la consola/terminal, utilizaste un comando de sintaxis extraña e infinitamente interminable, para el cual pasaste horas averiguando como introducirlo, o quizá lo encontraste buscando en Internet. Pasan los días, y vuelves a necesitarlo, pero oh sorpresa, ya no lo recuerdas, ni viene a tu mente donde lo habías encontrado. ¿Qué hacer?
Para casos como este, en el que ha pasado mucho tiempo y presionar la tecla “Up” no es solución, existe en comando "history", cuya misión es proporcionarnos el historial de los comandos que hemos utilizado en la terminal. Pero aún así no es una solución viable, pues posiblemente nos devolverá cientos de comandos. Para ello basta con refinar la búsqueda añadiendo “grep”, y como argumento la palabra que nos recuerde al comando que estamos tratando de encontrar. Por ejemplo, si es algo relacionado con el editor gedit, tendríamos que utilizar una línea como esta:
history | grep gedit
La terminal nos devolverá la lista de los comandos que han sido utilizados y que incluyen a “gedit”. Fácil, ¿No?
No hay comentarios:
Publicar un comentario