vhost-manager/etc/config.dist

33 lines
991 B
Plaintext
Raw Normal View History

2019-07-30 23:34:41 +02:00
WEB_HTTP_PORT=81
WEB_HTTPS_PORT=444
2019-08-05 10:15:40 +02:00
WEB_HTTPS_DEFAULT_CERT_PEM=/etc/letsencrypt/live/example.com/cert.pem
WEB_HTTPS_DEFAULT_CERT_PRIVKEY=/etc/letsencrypt/live/example.com/privkey.pem
WEB_HTTPS_DEFAULT_CERT_CHAIN=/etc/letsencrypt/live/example.com/chain.pem
2019-08-01 10:19:13 +02:00
SKEL_PATH=/etc/skel
2019-08-05 10:15:40 +02:00
2019-08-01 10:19:13 +02:00
DEFAULT_SHELL=/bin/zsh
2019-08-05 10:15:40 +02:00
2019-08-01 10:19:13 +02:00
WEB_ROOT_PATH=/var/www/service-web/www
WEB_LOG_PATH=/services/web/logs
2019-08-05 10:15:40 +02:00
2019-08-01 10:19:13 +02:00
APACHE_VHOST_SITES_AVAILABLE_PATH=/etc/apache2/sites-available
APACHE_VHOST_SITES_ENABLED_PATH=/etc/apache2/sites-enabled
2019-08-05 10:15:40 +02:00
PHP_BIN=/usr/bin/php7.3
PHP_VERSIONS="7.3 7.2 7.1 5.6"
2019-08-01 10:19:13 +02:00
PHP_FPM56_POOL_PATH=/etc/php5/fpm/pool.d
PHP_FPM71_POOL_PATH=/etc/php/7.1/fpm/pool.d
PHP_FPM72_POOL_PATH=/etc/php/7.2/fpm/pool.d
PHP_FPM73_POOL_PATH=/etc/php/7.3/fpm/pool.d
PHP_FPM56_SERVICE=php5-fpm
PHP_FPM71_SERVICE=php7.1-fpm
PHP_FPM72_SERVICE=php7.2-fpm
PHP_FPM73_SERVICE=php7.3-fpm
2019-08-05 10:15:40 +02:00
PHP_56_LABEL="PHP 5.6 (not recommended)"
PHP_71_LABEL="PHP 7.1"
PHP_72_LABEL="PHP 7.2"
PHP_73_LABEL="PHP 7.3 (recommended)"
2019-08-01 10:19:13 +02:00
SYSTEM_USER_GROUP=webgroup