Eseguo Ubuntu 12.04 e per qualche ragione bash non mantiene la cronologia dei miei comandi. il ~/.bash_history
file contiene solo 3 comandi che ho digitato qualche mese fa.
Come posso risolvere questo problema?
EDIT:
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
/bin/bash
~/.bash_history
.bashrc
.