Hi Sébastien, On Sun, 07 Jun 2020, Sébastien Villemot wrote: > > permissions should only be given when the file > > /etc/staff-group-for-usr-local
Thanks for the report. Is it enough during installation to check for that file, or should we change permissions for older installations, too? Best Norbert -- PREINING Norbert https://www.preining.info Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
