zsh-users
 help / color / mirror / code / Atom feed
* Deleting entries in history
@ 2020-03-06 19:54 Manfred Lotz
  2020-03-06 21:15 ` Bart Schaefer
  0 siblings, 1 reply; 4+ messages in thread
From: Manfred Lotz @ 2020-03-06 19:54 UTC (permalink / raw)
  To: Zsh-Users List

What is the proper way to delete entries in the history? 

Just load the history file in an editor, deleting things and save it? 

I didn't dare as I was afraid to interfere with the zsh shell managing
the history file.


-- 
Manfred

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2020-03-07 11:47 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-06 19:54 Deleting entries in history Manfred Lotz
2020-03-06 21:15 ` Bart Schaefer
2020-03-06 21:17   ` Bart Schaefer
2020-03-07 11:47   ` Manfred Lotz

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).