[Github-comments] [geany/geany] [session-split] More things to session (Issue #3007)

xiota notifications at xxxxx
Mon Nov 22 23:09:31 UTC 2021


> What I have used as an initial definition is a setting that an individual user is likely to change, possibly often, and it doesn't affect the files being edited...

That's almost just the plain definition of an ordinary preference?

@kugel- mentioned [elsewhere](https://github.com/geany/geany/issues/3015#issuecomment-975987322)...

> Store the session part elsewhere... so that the remaining project part is largely static and invariant across systems, so that can be checked in...  Likewise, my goal for the session split is to be able to store geany.conf in my personal "dotfiles" repository that I sync between laptop and workstation.

So a method to find sessionable preferences would be to run diff on sequential copies to see what preferences are frequently changing.

> hence for example GUI settings are session, but not indent settings.

This probably wouldn't work well for kugel's use case because his goal appears to be to sync a base config across multiple computers.  Infrequently changed GUI settings should be synced in that scenario.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/3007#issuecomment-975994880
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211122/a652b522/attachment.htm>


More information about the Github-comments mailing list