# HG changeset patch
# User John "Elwin" Edwards
# Date 1399822351 25200
# Node ID e421ea2519ec0045ef3157e51c63ca12b60c76bf
# Parent  70a8835197532715eb13c7b96366c973c1e25fed
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.

diff -r 70a883519753 -r e421ea2519ec dgl/dgamelaunch.conf
--- 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"