comparison dgl/dgamelaunch.conf @ 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 566e37477b91
children ad103f9f2e3a
comparison
equal deleted inserted replaced
54:70a883519753 55:e421ea2519ec
1 # rlgallery.org dgamelaunch configuration file 1 # rlgallery.org dgamelaunch configuration file
2
3 # This is a sample dgamelaunch configuration file. Only bash-style comments
4 # are allowed, such as this. Each configuration option will be explained
5 # along with its default value.
6
7
8 2
9 # Global config variables: 3 # Global config variables:
10 4
11 5
12 # Max amount of registered users to allow. Has no effect if dgl was 6 # Max amount of registered users to allow. Has no effect if dgl was
73 # the uids/gids corresponding to your choices when it loads. 67 # the uids/gids corresponding to your choices when it loads.
74 # 68 #
75 # Note that shed_uid and shed_gid will always take precedence over 69 # Note that shed_uid and shed_gid will always take precedence over
76 # shed_user and shed_group if they are specified. 70 # shed_user and shed_group if they are specified.
77 71
72 # Use names, because the numeric ID's are not really predictable. They can
73 # always be substituted after installation.
74
78 # shed_user: username to shed privileges to 75 # shed_user: username to shed privileges to
79 #shed_user = "games" 76 shed_user = "rodney"
80 # shed_group: group name to shed privileges to 77 # shed_group: group name to shed privileges to
81 #shed_group = "games" 78 shed_group = "rodney"
82 79
83 # Preferably, you may use the respective gids/uids. This is for Debian: 80 # Preferably, you may use the respective gids/uids.
84 shed_uid = 501 81 #shed_uid = 501
85 shed_gid = 501 82 #shed_gid = 501
86 83
87 # Locale. Leaving this out, dgamelaunch will not explicitly set locale. 84 # Locale. Leaving this out, dgamelaunch will not explicitly set locale.
88 locale = "en_US.UTF-8" 85 locale = "en_US.UTF-8"
89 86
90 # Default TERM, used if the user's $TERM is unknown. 87 # Default TERM, used if the user's $TERM is unknown.