[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: |
Greg Wooledge |
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 10:06:40 -0500 |
User-agent: |
Mutt/1.4.2.3i |
On Fri, Jan 30, 2015 at 09:58:43AM -0500, Chet Ramey wrote:
> 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.
My guess was that (s)he's running bash as root, which accounts for the
ability to delete /dev/null and recreate it as an ordinary file.
- 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, 2015/01/30
- Re: If $HISTFILE is set to /dev/null and you execute more commands than $HISTFILESIZE, /dev/null is deleted.,
Greg Wooledge <=
- 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