bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Temporary history file not being removed from home directory


From: Dmytro Bagrii
Subject: Re: Temporary history file not being removed from home directory
Date: Mon, 9 Sep 2024 18:02:36 +0300
User-agent: Mozilla Thunderbird

On 09.09.24 17:02, Chet Ramey wrote:

This doesn't seem like the whole story. You probably have PROMPT_COMMAND
set to append the history at every command (otherwise, the temp file would
not `reappear' after some time).

My PROMPT_COMMAND is the following:

PROMPT_COMMAND=([0]="printf \"\\033]0;%s@%s:%s\\007\" \"\${USER}\" \"\${HOSTNAME%%.*}\" \"\${PWD/#\$HOME/\\~}\"")

This is default value in Arch Linux.

Also my PS1 is

PS1='[\u@\h \W]\$ '

Let me know if any additional information required.

It looks like one of the writes or renames fails, so the history library
leaves the temp file there in case it needs to be manually modified, but
a subsequent write succeeds, updating the `real' history file.
 --
With best regards,
Dmytro Bagrii




reply via email to

[Prev in Thread] Current Thread [Next in Thread]