Zsh Mailing List Archive
Messages sorted by:
Re: Memory usage of history?
- X-seq: zsh-users 21709
- From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
- To: Zsh Users <zsh-users@xxxxxxx>
- Subject: Re: Memory usage of history?
- Date: Sun, 26 Jun 2016 16:29:18 -0700
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=brasslantern-com.20150623.gappssmtp.com; s=20150623; h=from:message-id:date:in-reply-to:comments:references:to:subject :mime-version; bh=Y60lnn2jnyVeM9BFkQn8Fx0vxyu33Zlg6/EZmqbOeNE=; b=SWzW7dFDAk8HEglwE/SKkSIwMrfkxIwkxz+KFWM66Zsucw5QwMRVGrFrXgnAjYRwUH paaioHc7/aE1th1ns5lO9bPYC2kH1UOicaQJ5Nz6wqGV4OdmRXSuxNdCYI/UqOyhFKD/ CMsUsd+uKha2o2+ArEFZCQ0N668GOHvPYzjPg8nX73C3Jfx2I6GBQbC0T+kb7biQO3dz BAH/4YmC5m/xOgVkh5zeBby1d+7/NRQshPv9ObOZF9uH/w8M3rwpFx1hQCRA7RUg+rFc J/LF8MEuRq/SX6wh5Pq/Hsfj0NV58JXJn6lgs25X+T+U1WtdZ72KdSC2YVqZdIfar+x4 gFRQ==
- In-reply-to: <email@example.com>
- List-help: <mailto:firstname.lastname@example.org>
- List-id: Zsh Users List <zsh-users.zsh.org>
- List-post: <mailto:email@example.com>
- Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
- References: <20160624134706.GA22704@linux.vnet.ibm.com> <CAH+w=7YQz6iaJf0k=OkX2bQSL26ohU3wLRVYgki_Z6jLOYpzSw@mail.gmail.com> <firstname.lastname@example.org>
On Jun 25, 8:33pm, Nikolay Aleksandrovich Pavlov (ZyX) wrote:
} Subject: Re: Memory usage of history?
} 1. allows saving user-defined metada in history file and
I'm not sure the answer to the history file being too large is to
make it even larger by cramming in all sorts of other data. This
would be even slower to parse at load time as well.
} 2. allows user to get control over what exactly will be removed.
In addition to all the other stuff I mentioned, I forgot about the
relatively recent addition of the HISTORY_IGNORE variable, which can
be a pattern that matches lines to leave out. That would be the
best way to handle my "foo is a throwaway" and similar criteria.
} Specifically first may be used to save information about
} 1. How often the command is used (total number of uses, anything else like
} "uses per month" would be harder to determine).
} 2. Time it took command to type (when it was typed for the first time)
} (time between first self-insert (or $*BUFFER modification if it was
} constructed by a widget) and accept-line).
} 3. Last time command was run.
} 4. Time it took command to finish (average among all runs).
} 5. What was the exit code (hash exit code - number of times it occurred).
I find these to be very unlikely criteria for deciding what's interesting
in the history?
For one thing, "time it took to type" is going to be really hard to get
right; multi-line commands have multiple accept-line calls, and you'd
have to filter out commands that were recalled from the history or you'd
get an average much too small.
Larger number of uses would be skewed towards really simple things, and
in fact (at least in my own case) the LESS often I use a command, the
more likely I am to want it from the history (unless it's one of those
throwaways I mentioned in another message), because I can remember the
ones I use a lot without zsh's help. If I use it often enough, I can
make an alias or keybinding for it and not need to search history.
How long the command took to run seems entirely unrelated to whether
it is history-worthy (and also doesn't work with shared/incremental
history). What would you use the exit code for, except maybe weeding
I like Christian Neukirchen's idea of maintaining a daily archive.
Adding a function / keybinding to search through an alternate history
store seems more manageable than either having a huge history always
in memory or a complicated AI for storing only interesting bits.
Messages sorted by: