Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: idea for new feature (was: Re: sticky-note and zle bindings)



On Sat, Jun 7, 2008 at 06:39, Robert Knight <robertknight@xxxxxxxxx> wrote:


> I favour the first option because the shell can pick a suitable place
> to store its
> state information which is in the same location/format as the rest of
> its data.  Unlike a filename, an ID also works over remote
> connections.

I prefer a variable, as well.


[this used to be before the part above]
> but users might choose human-readable names if they wanted to do their
> own session management.

In that case, the shell would need to be able to handle changing
IDs. Think starting TE & shell with random ID, changing ID, switching over.


Richard



Messages sorted by: Reverse Date, Date, Thread, Author