[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: enhancement merge request
From: |
Greg Wooledge |
Subject: |
Re: enhancement merge request |
Date: |
Sun, 18 Apr 2021 19:44:22 -0400 |
On Sun, Apr 18, 2021 at 04:12:10PM -0700, Ananth Chellappa wrote:
> Sincerely appreciate your time. Far as I understand, there is no
> way to accomplish what I want - concisely : *get a true private mode* (no
> logging to HISTFILE *OR* recall with history command after exiting
> private-mode (toggle of history using set -/+ o) *without sacrificing
> productivity*. That is, when you are *in private mode, you DO WANT recall
> with !number and arrow keys.
bash --rcfile <(echo source ~/.bashrc; echo unset HISTFILE)
- enhancement merge request, Ananth Chellappa, 2021/04/18
- Re: enhancement merge request, Lawrence Velázquez, 2021/04/18
- Re: enhancement merge request, Chet Ramey, 2021/04/18
- Re: enhancement merge request, Ananth Chellappa, 2021/04/18
- Re: enhancement merge request, Grisha Levit, 2021/04/19
- Re: enhancement merge request, Ananth Chellappa, 2021/04/19
- Re: enhancement merge request, Greg Wooledge, 2021/04/19
- Re: enhancement merge request, Lawrence Velázquez, 2021/04/19
- Re: enhancement merge request, Chet Ramey, 2021/04/19