J'exécute Ubuntu 12.04, et pour une raison quelconque, bash ne conserve pas l'historique de mes commandes. le ~/.bash_history
fichier ne contient que 3 commandes que j'ai tapées il y a quelques mois.
Comment puis-je réparer cela?
EDIT:
voici le contenu pertinent de mon .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
.