[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Command line prefixed with space is not saved
From: |
Bob Proulx |
Subject: |
Re: Command line prefixed with space is not saved |
Date: |
Tue, 10 Feb 2015 11:47:03 -0700 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
Vladimir Kanazir wrote:
> uname output: Linux canny 3.13.0-34-generic #60-Ubuntu SMP Wed Aug 13
> 15:45:27 $
> When you type space before the command, the command is not
> saved in the history.
> You can't see it when arrow up / CTRL+P is pressed. It is
> like the command is never executed.
The bash default is not to set that variable. But it looks like you
are using Ubuntu and the Ubuntu package default is to set it in the
default .bashrc file as a user level customization.
If you don't like that configuration then edit your ~/.bashrc file and
change this:
# don't put duplicate lines or lines starting with space in the history.
# See bash(1) for more options
HISTCONTROL=ignoreboth
Change that to something different. Perhaps simply ignoredups?
HISTCONTROL=ignoredups
Or whatever you prefer there. It is your .bashrc file. Customize it
as you desire.
Bob