* Zstyle persistence
@ 2003-10-15 15:31 Bart Schaefer
2003-10-15 19:04 ` DervishD
0 siblings, 1 reply; 2+ messages in thread
From: Bart Schaefer @ 2003-10-15 15:31 UTC (permalink / raw)
To: zsh-workers
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Zstyle persistence
2003-10-15 15:31 Zstyle persistence Bart Schaefer
@ 2003-10-15 19:04 ` DervishD
0 siblings, 0 replies; 2+ messages in thread
From: DervishD @ 2003-10-15 19:04 UTC (permalink / raw)
To: Bart Schaefer; +Cc: zsh-workers
Hi Bart :)
* Bart Schaefer <schaefer@brasslantern.com> 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/
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2003-10-15 19:14 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-15 15:31 Zstyle persistence Bart Schaefer
2003-10-15 19:04 ` DervishD
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).