Respuesta corta: echo 'set history save on' >> ~/.gdbinit && chmod 600 ~/.gdbinit
Respuesta larga:
El historial de comandos está cubierto en el manual GDB, 22.3 Historial de comandos . Cree un archivo $HOME/.gdbinit
, cambie sus permisos 0600
y agregue el siguiente contenido:
set history save on
Puede establecer el número de comandos pasados guardados con lo siguiente. El comando se describe como "Establecer el número de comandos que gdb mantiene en su lista de historial. Esto se establece de manera predeterminada en el valor de la variable de entorno GDBHISTSIZE, o en 256 si esta variable no está establecida. Los valores no numéricos de GDBHISTSIZE se ignoran. Si el tamaño es ilimitado o si GDBHISTSIZE es un número negativo o la cadena vacía, entonces el número de comandos que gdb mantiene en la lista del historial es ilimitado " .
set history size <size>
Un comando relacionado es set history remove-duplicates <count>
. El comando se describe como "Controlar la eliminación de entradas duplicadas del historial en la lista del historial de comandos. Si el recuento no es cero, gdb mirará hacia atrás en las últimas entradas del historial de recuento y eliminará la primera entrada que sea un duplicado de la entrada actual agregado a la lista del historial de comandos. Si el recuento es ilimitado, este retrospectivo no tiene límites. Si el recuento es 0, la eliminación de las entradas duplicadas del historial está deshabilitada " .
set history remove-duplicates <count>
Por defecto, gdb guarda el historial en el archivo ./.gdb_history en el directorio actual . Si desea que su historial de comandos no dependa del directorio en el que se encuentra, incluya también:
set history filename ~/.gdb_history
.gdbinit
archivo debe estar protegido contra escritura por otros que no sean usted en Linux.