'Olivier Médoc' via qubes-devel: > On 07/03/2016 12:11 AM, Patrick Schleizer wrote: >> Modifications of configuration files shipped by upstream packages such >> as for example /etc/dnf/dnf.conf (package dnf, upstream: Fedora) by >> downstream distributions (Qubes) is always problematic. When upstream >> changes the file, it will conflict during upgrading. >> >> I am trying to get rid of the update_conf code. [1] Therefore I posted >> two feature requests against dnf and PackageKit. [2] [3] >> >> What is not covered is not modifying /etc/pacman.conf. I was wondering, >> is that required at all? I am not a archlinux user but I have seen there >> also is /etc/pacman.d. Could a file /etc/pacman.d/qubes-proxy.conf also >> work? >> >> Could you test this please, Olivier? > Hello, > > I confirm this is not possible. > > I get the following errors from pacman meaning Includes are not > supported for options, only for mirrors: > warning: config file /etc/pacman.conf, line 51: directive 'Include > /etc/pacman.d/qubes-updateproxy.conf' in section 'options' not recognized. > warning: config file /etc/pacman.conf, line 52: directive 'Include > /etc/pacman.d/qubes-noupdate.conf' in section 'options' not recognized. > warning: config file /etc/pacman.conf, line 53: directive 'Include > /etc/pacman.d/qubes-repositories.conf' in section 'options' not recognized. > > I opened a feature request ( I've done a copy/paste of your text :) ) > https://bugs.archlinux.org/task/50018
Awesome. https://github.com/marmarek/qubes-core-agent-linux/pull/78 Thank you! So we can consider this case closed for now. Cheers, Patrick -- You received this message because you are subscribed to the Google Groups "qubes-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-devel/e50adb88-beee-609e-d9ca-d3e006c23c22%40riseup.net. For more options, visit https://groups.google.com/d/optout.
