Apunte rápido para que no se me olvide. De todos es conocido que cuando tecleas:
$ history
en la linea de comandos, se te muestra un listado con todos los comandos bash que hayas ejecutado hasta el momento. Pero, ¿a qué hora los ejecutaste? A veces esa información puede ser muy útil… El caso es que la marca de tiempo de ejecución de cada comando se guarda internamente en el historial, pero por defecto, no se muestra. ¡Ah! ¿Y cómo podemos mostrarla?
Fácil:
$ HISTTIMEFORMAT=’%F %T ‘
$ export HISTTIMEFORMAT
$ history
526 2009-06-11 00:06:04 man history
527 2009-06-11 00:06:42 man -a history
528 2009-06-11 00:09:51 HISTTIMEFORMAT=’%F %T ‘
529 2009-06-11 00:09:56 export HISTTIMEFORMAT
530 2009-06-11 00:10:08 history
¡tachaaaaaán!
Muy bueno!!!
Pues he estado coqueteando con linux con su mascara de Ubuntu.
Mi comienzo es tardío instalé la versión 7 en mi máquina, luego actualicé a la versión 8 y hace pocos dias hice una instalación «limpia» de la versión 9.
El mismo problema que al instalar el 7, resolución de pantalla recortada. 800×600 antes de actualizar el driver de la tarjeta, 400x (ya no me acuerdo) al utilizar los drivers de nvidia. En un monitor LCD 22″ es un crimen. Sólo que esta vez no me ha sido fácil cambiar la resolución.
En fin… «El que quiera azul celeste… que se acueste»
Cuestiones como esta, sencillas en windows, hacen que no me acabe de enamorar de linux.
Pues ya me quejé, sin querer queriendo.
Saludos desde Guadalajara.
Muy buen truco, debería de ir «de serie» en las distribuciones.
Una cosa por si a alguein le ha fallado, si haces copy-paste hay que substutuir la comilla ‘ por ‘