ports/opt (3.5): mailman: use different ID for user/group
![](https://secure.gravatar.com/avatar/df8330968b6df8cd1c1942c5fb4b720c.jpg?s=120&d=mm&r=g)
17 Jan
2019
17 Jan
'19
3:44 p.m.
commit 8ccb1c45a1fef8dbb7ef2389588bf375c2699edf Author: Juergen Daubert <jue@jue.li> Date: Thu Aug 9 15:24:21 2018 +0200 mailman: use different ID for user/group diff --git a/mailman/pre-install b/mailman/pre-install index d793c1924..3fec3e3b7 100755 --- a/mailman/pre-install +++ b/mailman/pre-install @@ -2,8 +2,8 @@ mmuser="mailman" mmgroup="mailman" -mmuserid=41 -mmgroupid=41 +mmuserid=42 +mmgroupid=42 mmhome="/usr/lib/mailman" # make sure the user/group exists or add if not exists
2213
Age (days ago)
2213
Last active (days ago)
0 comments
1 participants
participants (1)
-
crux@crux.nu