| # Redis user. | |
| REDIS_USER="redis" | |
| # Redis group. | |
| REDIS_GROUP="redis" | |
| # Redis configuration file. | |
| REDIS_CONF="/etc/redis.conf" | |
| # Redis dump directory. | |
| REDIS_DIR="/var/lib/redis" | |
| # Redis pid file. | |
| # (Be sure to change the main redis configuration file as well if you change | |
| # this from the default.) | |
| REDIS_PID="/var/run/redis/redis.pid" | |
| # Redis options. | |
| # (Redis expects the first argument to be the configuration file.) | |
| REDIS_OPTS="${REDIS_CONF}" |