Diferencia entre revisiones de «Comandos interesantes»

De Jose Castillo Aliaga
Ir a la navegación Ir a la búsqueda
(Página creada con «== history == Guardar el historial en un fichero con la fecha y dentro del directorio personal del usuario. $ history > ~/history-save-$(date +%d-%m-%y-%T) Puede ser út...»)
 
Sin resumen de edición
Línea 2: Línea 2:


Guardar el historial en un fichero con la fecha y dentro del directorio personal del usuario.  
Guardar el historial en un fichero con la fecha y dentro del directorio personal del usuario.  
  $ history > ~/history-save-$(date +%d-%m-%y-%T)
  $ history > ~/historyBackup$(date +%d-%m-%y-%T)
Puede ser útil para hacer auditorías o para no olvidarse de cómo se ha hecho algo. Si lo ejecutamos u luego hacemos history -c podemos consultarlo en el fichero generado.
Puede ser útil para hacer auditorías o para no olvidarse de cómo se ha hecho algo. Si lo ejecutamos u luego hacemos history -c podemos consultarlo en el fichero generado.
== rm ==
$ alias rrm='/bin/rm -i'; alias rm='trash'
Reemplaza el rm tradicional por el trash, que lo envia a la papelera. Para ello es necesario instalar préviamente el trash-cli

Revisión del 12:15 23 ago 2012

history

Guardar el historial en un fichero con la fecha y dentro del directorio personal del usuario.

$ history > ~/historyBackup$(date +%d-%m-%y-%T)

Puede ser útil para hacer auditorías o para no olvidarse de cómo se ha hecho algo. Si lo ejecutamos u luego hacemos history -c podemos consultarlo en el fichero generado.

rm

$ alias rrm='/bin/rm -i'; alias rm='trash'

Reemplaza el rm tradicional por el trash, que lo envia a la papelera. Para ello es necesario instalar préviamente el trash-cli