Diferencia entre revisiones de «Comandos interesantes»
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 > ~/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