Eu executo o Ubuntu 12.04 e, por algum motivo, o bash não mantém meu histórico de comandos. o ~/.bash_history
arquivo contém apenas três comandos que eu digitei alguns meses atrás.
Como posso consertar isso?
EDIT:
aqui está o conteúdo relevante do meu .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
.