Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: Zstyle persistence
- X-seq: zsh-workers 19194
- From: DervishD <raul@xxxxxxxxxxxx>
- To: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
- Subject: Re: Zstyle persistence
- Date: Wed, 15 Oct 2003 21:04:03 +0200
- Cc: zsh-workers@xxxxxxxxxx
- In-reply-to: <1031015153105.ZM23757@xxxxxxxxxxxxxxxxxxxxxxx>
- Mail-followup-to: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>, zsh-workers@xxxxxxxxxx
- Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
- Organization: Pleyades
- References: <1031015153105.ZM23757@xxxxxxxxxxxxxxxxxxxxxxx>
Hi Bart :)
* Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> dixit:
> It just occurred to me that it might be useful to have zstyles
> automatically saved on shell exit, like history. I can't decide if
> it'd be a good idea to automatically reload them, though -- an
> explicit "zstyle -R" in a startup file might be preferable.
If this is done, be sure than then I *will* use zstyle to store
state information }:)))
Seriously, this is a pretty good idea, although I think that the
automatic reload is a good thing. Make persistence optional, but
optional in both ends: saving and reloading. If style persistence is
active, then both save and reload automatically. If it's disabled,
don't save nor reload automatically. This can be controlled by an
option (persistent_styles maybe?), like history.
Raúl Núñez de Arenas Coronado
--
Linux Registered User 88736
http://www.pleyades.net & http://raul.pleyades.net/
Messages sorted by:
Reverse Date,
Date,
Thread,
Author