[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: If $HISTFILE is set to /dev/null and you execute more commands than
|
From: |
Chet Ramey |
|
Subject: |
Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted. |
|
Date: |
Fri, 30 Jan 2015 09:58:43 -0500 |
|
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 |
On 1/30/15 4:36 AM, crocket wrote:
> It turns out that tramp on emacs 24.4 sets $HISTFILE to /dev/null and
> makes bash delete /dev/null when I kill emacs.
>
> When /dev/null is not a character device but a regular file, a lot of
> programs freeze.
This indicates a permissions or file system problem. I'm not sure that
bash needs to be paying attention to particular file names, but it might
be a good idea for the history library to verify that it's dealing with
a regular file before going on.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU chet@case.edu http://cnswww.cns.cwru.edu/~chet/
- If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., crocket, 2015/01/30
- If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., crocket, 2015/01/30
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted.,
Chet Ramey <=
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., Greg Wooledge, 2015/01/30
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., Jonathan Hankins, 2015/01/30
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., Chet Ramey, 2015/01/30
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., Jonathan Hankins, 2015/01/30
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., Andreas Schwab, 2015/01/30
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., Jonathan Hankins, 2015/01/30
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., Chet Ramey, 2015/01/31
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted., Chet Ramey, 2015/01/31