1 { stdenv, fetchurl, nginx }:
4 webRoot = stdenv.mkDerivation rec {
6 name = "adminer-${version}";
8 url = "https://www.adminer.org/static/download/${version}/${name}.php";
9 sha256 = "1qq2g7rbfh2vrqfm3g0bz0qs057b049n0mhabnsbd1sgnpvnc5z7";
11 phases = "installPhase";
14 cp $src $out/index.php
18 socket = "/var/run/phpfpm/adminer.sock";
22 group = ${apache.group}
23 listen.owner = ${apache.user}
24 listen.group = ${apache.group}
27 pm.process_idle_timeout = 60
28 ;php_admin_flag[log_errors] = on
29 ; Needed to avoid clashes in browser cookies (same domain)
30 php_value[session.name] = AdminerPHPSESSID
31 php_admin_value[open_basedir] = "${webRoot}:/tmp:/var/lib/php/sessions/adminer:/var/lib/php/tmp/adminer"
32 php_admin_value[session.save_path] = "/var/lib/php/sessions/adminer"
33 php_admin_value[upload_tmp_dir] = "/var/lib/php/tmp/adminer"
39 modules = [ "proxy_fcgi" ];
40 webappName = "_adminer";
41 root = "/run/current-system/webapps/${webappName}";
43 Alias /adminer ${root}
45 DirectoryIndex index.php
48 SetHandler "proxy:unix:${phpFpm.socket}|fcgi://localhost"
57 include ${nginx}/conf/fastcgi.conf;
58 fastcgi_split_path_info ^(.+?\.php)(/.*)$;
59 fastcgi_param HTTP_PROXY "";
60 fastcgi_param SCRIPT_FILENAME ${webRoot}/index.php;
61 fastcgi_pass unix:${phpFpm.socket};
62 fastcgi_index index.php;
63 fastcgi_intercept_errors on;