zsh-workers
 help / color / mirror / code / Atom feed
* 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).