On Tue, 2023-04-11 at 13:15 -0400, Chris Murphy wrote: > > On Tue, Apr 11, 2023, at 12:02 PM, stan via devel wrote: > > On Tue, 11 Apr 2023 10:48:11 -0400 > > "Chris Murphy" <lists@xxxxxxxxxxxxxxxxx> wrote: > > > > > Hi, > > > > > > For a long time I've noticed lost history from multiple Terminal > > > tab/windows. It seems like the last tab or window to close is the > > > history that gets written to .bash_history, and everything else is > > > just lost. > > > > > > Somehow I found this: > > > https://web.archive.org/web/20090815205011/http://www.cuberick.com/2008/11/update-bash-history-in-realtime.html > > > > > > I've implemented the suggested two line change to .bash_profile: > > > > > > # User specific environment and startup programs > > > shopt -s histappend > > > PROMPT_COMMAND="history -a;$PROMPT_COMMAND" > > > > > > The resulting behavior appears to be shells still have their own > > > unique histories while active. But once closed, their histories > > > become merged (interlaced based on the time they were issued?) and > > > available when a new shell is created. > > > > > > I think this would be a pretty cool yet subtle Fedora 39 feature. > > > However, > > > > > > a) I'm uncertain exactly where this belongs as a default, .bashrc or > > > .bash_profile or some parent file that's copied to create these files > > > (for new users); > > > > I like option 3 if it is going to be automatic. > > Right. > > Which raises the question whether existing user profiles should be modified. There's pros and cons either way. > > And whether that more strongly favors adding this to .bashrc or .bash_profile, and whether there are subtleties in the resulting behavior depending on which file is used; or if they're equivalent. > > Normally I'd said don't apply a change to existing users. But in this case, I think the risk of modifying existing user behavior is low, meanwhile the potential for even more confusion is high if we don't change it. It is a pretty strong principle in Fedora that we do *not* mess with users' home directories and configuration after creation. (Software packaged in Fedora might of course mess with its own configuration, but Fedora itself should not go around poking stuff like this). -- Adam Williamson (he/him/his) Fedora QA Fedora Chat: @adamwill:fedora.im | Mastodon: @adamw@xxxxxxxxxxxxx https://www.happyassassin.net _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
