[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#56699] [PATCH] gnu: greetd-service-type: Add greeter-extra-groups c
From: |
Liliana Marie Prikler |
Subject: |
[bug#56699] [PATCH] gnu: greetd-service-type: Add greeter-extra-groups config field. |
Date: |
Fri, 05 Aug 2022 09:54:50 +0200 |
User-agent: |
Evolution 3.42.1 |
Am Freitag, dem 05.08.2022 um 09:44 +0300 schrieb muradm:
> supplimentary-groups receiving a list, so I find it more
> informative when adding apples with apples. And yes with high enough
> chance more groups could be added to the list of defaults.
What are "the defaults" here, though? A sequence of hard-coded values
known at compile time. There is no need to make that sequence a list.
> Is there any preference on using cons* in favour of more readable
> append?
Use of cons or cons* signals that you are only expecting user-supplied
groups to be a list and everything else known values. Use of append on
the other hand signals that you are expecting multiple lists, which
even if you did are not currently present.
Cheers
- [bug#56699] [PATCH] gnu: greetd-service-type: Add greeter-extra-groups config field., muradm, 2022/08/05
- [bug#56699] [PATCH] gnu: greetd-service-type: Add greeter-extra-groups config field.,
Liliana Marie Prikler <=
- [bug#56699] [PATCH v2] gnu: greetd-service-type: Add greeter-extra-groups config field., muradm, 2022/08/07
- [bug#57047] [PATCH v2] gnu: greetd-service-type: Add greeter-extra-groups config field., muradm, 2022/08/07
- [bug#57047] [PATCH v2] gnu: greetd-service-type: Add greeter-extra-groups config field., muradm, 2022/08/07
- [bug#56699] [PATCH v2] gnu: greetd-service-type: Add greeter-extra-groups config field., Liliana Marie Prikler, 2022/08/08
- [bug#56699] [PATCH v2] gnu: greetd-service-type: Add greeter-extra-groups config field., muradm, 2022/08/08
- [bug#56699] [PATCH v2] gnu: greetd-service-type: Add greeter-extra-groups config field., Liliana Marie Prikler, 2022/08/09
- [bug#56699] [PATCH v4] gnu: greetd-service-type: Add greeter-extra-groups config field., muradm, 2022/08/09
- [bug#56699] [PATCH v4] gnu: greetd-service-type: Add greeter-extra-groups config field., Liliana Marie Prikler, 2022/08/10