warden/rlgallery-misc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dgamelaunch: define user/group by name instead of UID/GID.

Browse source 
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.
This commit is contained in:
John "Elwin" Edwards 2014-05-11 08:32:31 -07:00
parent f3870d8046
commit b47c2cba8a
1 changed files with 10 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

23
dgl/dgamelaunch.conf
View file

@ -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"