Path: ...!news.roellig-ltd.de!open-news-network.org!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.unix.shell Subject: Re: [ksh] Show command number in shell prompt Date: Tue, 24 Sep 2024 15:28:03 -0700 Organization: None to speak of Lines: 16 Message-ID: <87a5fwptzg.fsf@nosuchdomain.example.com> References: MIME-Version: 1.0 Content-Type: text/plain Injection-Date: Wed, 25 Sep 2024 00:28:04 +0200 (CEST) Injection-Info: dont-email.me; posting-host="a275b4717ac7daeba95e5bb65b4a0563"; logging-data="3543739"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19eQe0UYvIwn96I7yDbBxhg" User-Agent: Gnus/5.13 (Gnus v5.13) Cancel-Lock: sha1:eXGoNIFpc8bk4UjQlqZBUZhcYHk= sha1:4GHKG0xZ755PJIKFw8BN1asULmQ= Bytes: 1767 Lawrence D'Oliveiro writes: > On Tue, 24 Sep 2024 15:23:56 +0200, Janis Papanagnou wrote: >> [*] Note: Closing a shell window and re-opening it anew will work on the >> previous, same history file. > > I typically have over a dozen shell windows open at a time. They would all > happily clobber the same history file, which somewhat limits its use for > me. Using a different $HISTFILE for each shell avoids that. I assign consistent names to shell windows, under tmux, and I construct $HISTFILE from the name. -- Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com void Void(void) { Void(); } /* The recursive call of the void */