On 2021-09-23 22:08, Ludovic Courtès wrote: > Hi, > > Xinglu Chen skribis: > >> Some services might be useful to have in both Guix System and Guix Home; >> for instance, Guix System currently has a service for configuring >> Syncthing, and I think it makes sense to also have one for Guix Home, >> this would mean that people not using Guix System (me :-)) could also >> have Guix manage Syncthing. With the current approach, we would have to >> copy and paste quite a bit of code, and if the Syncthing service for >> Guix System changes, then the one for Guix Home might have to change as >> well. > > Silly question, but why do we need to have two different configuration > record types in the first place? 1. Different fields (for example system services in many cases wants to know the username, which will be used to run process from, home services will probably use the user's username and won't rely on this field, home services on the other hand can have something like xdg-flavor? or anything else unrelated to system services). Even if fields are not conflicting with each other, it's very likely that it will introduce a confusion: user of Guix Home on foreign distro will be guessing why there is a field in configuration record, which doesn't make sense for a home service. 2. Different default values. $HOME/mail or /var/spool/mail? Even if we can technically bypass those problems, semantically the values will be incorrect. There are possible solutions to that, like making home-extra-settings and system-extra-settings fields, which will contain records with fields, which are different for those services, but I'm not sure if all the hussle is worth it. > > Sharing configuration between Home and System sounds important to me: it > means users can easily move services from one to the other, which is > pretty big deal. It also means we’d have much less code to maintain. > > Would that be feasible? (Apologies if this has already been discussed!) I find records to be a very rigid and hard to reuse and probably we have to have separate sets of configuration records as I mentioned earlier in the thread, but the auxiliary functions seems quite reusable. > > Also, I proposed earlier a possible way to generate a Home service type > from the corresponding System service type—or, IOW, to generate a Home > service type graph from the System graph. Does that sound feasible? Not sure what you mean here, can you share a link to the proposal or elaborate one more time, please. > > Thanks, > Ludo’.