changeset 55:e421ea2519ec

dgamelaunch: define user/group by name instead of UID/GID. The user and group might not be created with the UID and GID expected, so it is better to use names. They can be changed to numeric values after installation.
author John "Elwin" Edwards
date Sun, 11 May 2014 08:32:31 -0700
parents 70a883519753
children 5cf88bd4e556
files dgl/dgamelaunch.conf
diffstat 1 files changed, 8 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
--- a/dgl/dgamelaunch.conf	Sat Apr 05 09:35:01 2014 -0700
+++ b/dgl/dgamelaunch.conf	Sun May 11 08:32:31 2014 -0700
@@ -1,11 +1,5 @@
 # rlgallery.org dgamelaunch configuration file
 
-# This is a sample dgamelaunch configuration file. Only bash-style comments
-# are allowed, such as this. Each configuration option will be explained
-# along with its default value.
-
-
-
 # Global config variables:
 
 
@@ -75,14 +69,17 @@
 # Note that shed_uid and shed_gid will always take precedence over
 # shed_user and shed_group if they are specified.
 
+# Use names, because the numeric ID's are not really predictable. They can
+# always be substituted after installation.
+
 # shed_user: username to shed privileges to
-#shed_user = "games"
+shed_user = "rodney"
 # shed_group: group name to shed privileges to
-#shed_group = "games"
+shed_group = "rodney"
 
-# Preferably, you may use the respective gids/uids. This is for Debian:
-shed_uid = 501
-shed_gid = 501
+# Preferably, you may use the respective gids/uids.
+#shed_uid = 501
+#shed_gid = 501
 
 # Locale. Leaving this out, dgamelaunch will not explicitly set locale.
 locale = "en_US.UTF-8"