From b47c2cba8ad1cc940b7b46a4d23bdcc72cedc0ad Mon Sep 17 00:00:00 2001 From: "John \"Elwin\" Edwards" Date: Sun, 11 May 2014 08:32:31 -0700 Subject: [PATCH] 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. --- dgl/dgamelaunch.conf | 23 ++++++++++------------- 1 file changed, 10 insertions(+), 13 deletions(-) diff --git a/dgl/dgamelaunch.conf b/dgl/dgamelaunch.conf index 0e7877e..b14b1e5 100644 --- a/dgl/dgamelaunch.conf +++ b/dgl/dgamelaunch.conf @@ -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 @@ banner = "/dgldir/dgl-banner" # Note that shed_uid and shed_gid will always take precedence over # shed_user and shed_group if they are specified. -# shed_user: username to shed privileges to -#shed_user = "games" -# shed_group: group name to shed privileges to -#shed_group = "games" +# Use names, because the numeric ID's are not really predictable. They can +# always be substituted after installation. -# Preferably, you may use the respective gids/uids. This is for Debian: -shed_uid = 501 -shed_gid = 501 +# shed_user: username to shed privileges to +shed_user = "rodney" +# shed_group: group name to shed privileges to +shed_group = "rodney" + +# 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"