aboutsummaryrefslogtreecommitdiff
path: root/nixops/modules/websites/tools/tools/default.nix
diff options
context:
space:
mode:
authorIsmaël Bouya <ismael.bouya@normalesup.org>2019-04-18 10:24:09 +0200
committerIsmaël Bouya <ismael.bouya@normalesup.org>2019-04-18 10:24:09 +0200
commit0aae0181fd46ca043eef4195e34b4c4bba20349e (patch)
tree72fbc1e92fdc934af4560430cf02fdc11597e0f0 /nixops/modules/websites/tools/tools/default.nix
parentb7d2d4e3da7da83bc7f133acaa216375890592b1 (diff)
downloadNix-0aae0181fd46ca043eef4195e34b4c4bba20349e.tar.gz
Nix-0aae0181fd46ca043eef4195e34b4c4bba20349e.tar.zst
Nix-0aae0181fd46ca043eef4195e34b4c4bba20349e.zip
Add devtools directory
Diffstat (limited to 'nixops/modules/websites/tools/tools/default.nix')
-rw-r--r--nixops/modules/websites/tools/tools/default.nix31
1 files changed, 30 insertions, 1 deletions
diff --git a/nixops/modules/websites/tools/tools/default.nix b/nixops/modules/websites/tools/tools/default.nix
index 2f34d27..d309287 100644
--- a/nixops/modules/websites/tools/tools/default.nix
+++ b/nixops/modules/websites/tools/tools/default.nix
@@ -77,8 +77,18 @@ in {
77 services.myWebsites.integration.vhostConfs.devtools = { 77 services.myWebsites.integration.vhostConfs.devtools = {
78 certName = "eldiron"; 78 certName = "eldiron";
79 hosts = ["devtools.immae.eu" ]; 79 hosts = ["devtools.immae.eu" ];
80 root = null; 80 root = "/var/lib/ftp/devtools.immae.eu";
81 extraConfig = [ 81 extraConfig = [
82 ''
83 <Directory "/var/lib/ftp/devtools.immae.eu">
84 DirectoryIndex index.php index.htm index.html
85 AllowOverride all
86 Require all granted
87 <FilesMatch "\.php$">
88 SetHandler "proxy:unix:/var/run/phpfpm/devtools.sock|fcgi://localhost"
89 </FilesMatch>
90 </Directory>
91 ''
82 rainloop.apache.vhostConf 92 rainloop.apache.vhostConf
83 ]; 93 ];
84 }; 94 };
@@ -151,6 +161,11 @@ in {
151 }; 161 };
152 162
153 services.myPhpfpm.poolPhpConfigs = { 163 services.myPhpfpm.poolPhpConfigs = {
164 devtools = ''
165 extension=${pkgs.phpPackages.redis}/lib/php/extensions/redis.so
166 extension=${pkgs.phpPackages.apcu}/lib/php/extensions/apcu.so
167 zend_extension=${pkgs.php}/lib/php/extensions/opcache.so
168 '';
154 roundcubemail = roundcubemail.phpFpm.phpConfig; 169 roundcubemail = roundcubemail.phpFpm.phpConfig;
155 }; 170 };
156 services.myPhpfpm.poolConfigs = { 171 services.myPhpfpm.poolConfigs = {
@@ -165,6 +180,20 @@ in {
165 ldap = ldap.phpFpm.pool; 180 ldap = ldap.phpFpm.pool;
166 rainloop = rainloop.phpFpm.pool; 181 rainloop = rainloop.phpFpm.pool;
167 kanboard = kanboard.phpFpm.pool; 182 kanboard = kanboard.phpFpm.pool;
183 devtools = ''
184 listen = /var/run/phpfpm/devtools.sock
185 user = wwwrun
186 group = wwwrun
187 listen.owner = wwwrun
188 listen.group = wwwrun
189 pm = dynamic
190 pm.max_children = 60
191 pm.start_servers = 2
192 pm.min_spare_servers = 1
193 pm.max_spare_servers = 10
194
195 php_admin_value[open_basedir] = "/run/wrappers/bin/sendmail:/var/lib/ftp/devtools.immae.eu:/tmp"
196 '';
168 tools = '' 197 tools = ''
169 listen = /var/run/phpfpm/tools.sock 198 listen = /var/run/phpfpm/tools.sock
170 user = wwwrun 199 user = wwwrun