Re: [Geany-devel] ANN: mailing list server move
Le 27/09/2012 21:54, Enrico Tröger a écrit : Hi all, just as a note: I plan to move all Geany-related mailing lists from uvena.de to the geany.org server on Friday, October 5 2012, around 12:00 UTC. Great ! Just to be sure, current @uvena.de will be forwarded (at least for some time) to the equivalent one at @geany.org I guess, right? :) Cheers, Colomban The lists will be down during move for about 1-2 hours. I'll send a reminder shortly before starting with the actual move next week. Regards, Enrico ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel
Re: [Geany-devel] ANN: mailing list server move
On 27/09/12 21:59, Colomban Wendling wrote: Le 27/09/2012 21:54, Enrico Tröger a écrit : Hi all, just as a note: I plan to move all Geany-related mailing lists from uvena.de to the geany.org server on Friday, October 5 2012, around 12:00 UTC. Great ! Just to be sure, current @uvena.de will be forwarded (at least for some time) to the equivalent one at @geany.org I guess, right? :) Yeah, that's the plan. The list names will stay the same (only top level domain changes) except for the main mailing list which is currently ge...@uvena.de. I guess I'll rename it to geany-us...@geany.org which reads better than ge...@geany.org. Any objections? Regards, Enrico -- Get my GPG key from http://www.uvena.de/pub.asc signature.asc Description: OpenPGP digital signature ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel
Re: [Geany-devel] ANN: mailing list server move
Le 27/09/2012 22:36, Enrico Tröger a écrit : On 27/09/12 21:59, Colomban Wendling wrote: Le 27/09/2012 21:54, Enrico Tröger a écrit : Hi all, just as a note: I plan to move all Geany-related mailing lists from uvena.de to the geany.org server on Friday, October 5 2012, around 12:00 UTC. Great ! Just to be sure, current @uvena.de will be forwarded (at least for some time) to the equivalent one at @geany.org I guess, right? :) Yeah, that's the plan. The list names will stay the same (only top level domain changes) except for the main mailing list which is currently ge...@uvena.de. I guess I'll rename it to geany-us...@geany.org which reads better than ge...@geany.org. Any objections? Nope. Maybe I'd rather have used something like {devel,users}@lists.geany.org but geany-{users,devel}@geany.org is fine too. Regards, Enrico ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel
Re: [Geany-devel] ANN: mailing list server move
On 28 September 2012 06:40, Colomban Wendling lists@herbesfolles.orgwrote: Le 27/09/2012 22:36, Enrico Tröger a écrit : On 27/09/12 21:59, Colomban Wendling wrote: Le 27/09/2012 21:54, Enrico Tröger a écrit : Hi all, just as a note: I plan to move all Geany-related mailing lists from uvena.de to the geany.org server on Friday, October 5 2012, around 12:00 UTC. Great ! Just to be sure, current @uvena.de will be forwarded (at least for some time) to the equivalent one at @geany.org I guess, right? :) Yeah, that's the plan. The list names will stay the same (only top level domain changes) except for the main mailing list which is currently ge...@uvena.de. I guess I'll rename it to geany-us...@geany.org which reads better than ge...@geany.org. Any objections? Nope. Maybe I'd rather have used something like {devel,users}@lists.geany.org but geany-{users,devel}@geany.org is fine too. Just a thought, the website then needs updating :) Cheers Lex Regards, Enrico ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel
Re: [Geany-devel] Separating session file lists from config (again)
Sorry for the delay in responding, somehow the mail didn't get marked as new and I only just noticed it. On 14 September 2012 03:15, Dimitar Zhekov dimitar.zhe...@gmail.com wrote: On Wed, 12 Sep 2012 11:35:48 +1000 Lex Trotman ele...@gmail.com wrote: [...] So what should geany.conf contain? If the interface preferences remain there, we still must rush at quit time to save it... Getting buried in specifics far too early, need to get the principles right first, but in general interface things that are changed rarely, like window layouts, would be in geany.conf, things like search data is definitely session. I'm sure there is more discussion here :) Since it's an early discussion, I have a proposition for something I always wanted to have in the other IDE-s: several sessions per project. Well, if sessions and projects are separated then it might be a useful extension. For example, currently I have one project for Geany sm, another for regenerating my patches (the ones in sf patch tracker except sm, plus some others), and I usually open another (temporary) project when working on something else. Aside from the session, these projects are, and must be, absolutely identical. So: The project menu contains a Sessions item, which displays a dialog to add/remove/switch to a session. Each new project starts with a Default session, which can not be deleted. Whoever prefers a project for each session can simply ignore Sessions. Possible storage: $project.geany contains an UUID. $confdir/UUID contains a list of names sessions and the interface options, including the current session name. Apart from having an intermediate link file between projects and sessions making an extra step, what is the difference between this implementation and the one I originally proposed? The one that you said was too complex, even before you added the intermediate step? :) For those following along at home, the problem is how to find the session file(s) when the project is opened, without saving the path in the project file. Any alternate ideas welcome. The larger a project, the more useful several sessions will be. I'm not sure about several project-less sessions. It will be somewhat confusing - should I use a project, or only a session? - but OTOH, the line between projects and sessions will be drawn once and for all: a project has it's own set of options, while a session is simply a set of files. Thats certainly another way of looking at it, yes. Makes it simple to implement and understand. But I bet it won't last :) RFC. (Note: the project files currectly contain the settings from Project - Properties and a session, but no interface options. The plugins can only place their own settings in the projects either, except by using the Project - Properties dialog.) Plugins access to the project files is another discussion. They must be discussed at some later point, we have save-settings and project-save. I guess plugins can still access project files, but either they can't access session files (preferred initial position until someone needs it) or another signal is needed. Cheers Lex -- E-gards: Jimmy ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel