]> git.donarmstrong.com Git - deb_pkgs/autorandr.git/commitdiff
Adhere XDG basedir spec regarding order
authorPhillip Berndt <phillip.berndt@googlemail.com>
Thu, 7 Jan 2016 14:16:27 +0000 (15:16 +0100)
committerPhillip Berndt <phillip.berndt@googlemail.com>
Thu, 7 Jan 2016 14:16:32 +0000 (15:16 +0100)
It says that for duplicate information (i.e., equal file names), only
the one that comes first ought to be used. So we have to make sure to
load profiles in the correct order -- the ones that have the highest
priority last, because we just dict.update them all together. And in
script execution, we have to keep a list of file names already used in
scripts that have already been executed.


No differences found