Eseguo Ubuntu 12.04 e per qualche motivo bash non conserva la cronologia dei miei comandi. il file ~/.bash_history
contiene solo 3 comandi che ho digitato alcuni mesi fa.
Come posso risolvere questo problema?
Modifica
ecco il contenuto pertinente del mio .bashrc
:
# ~/.bashrc: executed by bash(1) for non-login shells.
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
# for examples
# If not running interactively, don't do anything
[ -z "$PS1" ] && return
# don't put duplicate lines or lines starting with space in the history.
# See bash(1) for more options
HISTCONTROL=ignoreboth
# append to the history file, don't overwrite it
shopt -s histappend
# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
HISTSIZE=1000
HISTFILESIZE=2000