#!/bin/sh
set -e -f ${DRY_RUN:+-n} -u
tool=$0
while test -L "$tool"
 do tool=$(readlink "$tool")
 done
tool=${tool%/*}
. "$tool"/lib/rule.sh
. "$tool"/etc/vm.sh
export TRACE=1
cd /

rule_help () { # SYNTAX: [--hidden]
	local hidden; [ ${1:+set} ] || hidden=set
	cat >&2 <<-EOF
		DESCRIPTION:
		  ce script regroupe des règles pour administrer la VM ($vm_fqdn)
		  _depuis_ la VM hébergée ($vm_fqdn) ;
		  il sert à la fois d'outil (aisément bidouillable)
		  et de documentation (préçise).
		  Voir \`$tool/vm_host' pour les règles côté machine hôte ($vm_host).
		SYNTAX: $0 \$RULE \${RULE}_SYNTAX
		RULES:
		$(sed -ne "s/^rule_\(${hidden:+[^_]}[^ ]*\) () {\( *#.*\|\)/  \1\2/p" "$tool"/etc/vm.sh "$0")
		ENVIRONMENT:
		  TRACE # affiche les commandes avant leur exécution
		$(sed -ne 's/^readonly \([^ ][^ =]*\).*}\( *#.*\|\)$/\t$\1\2/p' "$tool"/etc/vm.sh "$0")
		EOF
 }

rule_git_configure () {
	(
	cd "$tool"
	git config --replace branch.master.remote .
	git config --replace branch.master.merge refs/remotes/master
	local tool
	tool=$(cd "$tool"; cd -)
	install -m 770 /dev/stdin .git/hooks/post-update <<-EOF
		#!/bin/sh -efux
		case \$1 in
		 (refs/remotes/master)
			cd ..
			git --git-dir=\$PWD/.git checkout -f -B master remotes/master
			git --git-dir=\$PWD/.git clean -f -d -x
			;;
		 esac
		EOF
	)
 }
rule_git_reset () {
	(
	cd "$tool"
	git checkout -f -B master remotes/master
	git clean -f -d -x
	)
 }

rule_adduser () {
	local user="$1"; shift
	getent passwd "$user" >/dev/null ||
	sudo adduser "$@" "$user"
 }
rule_apt_get_install () { # SYNTAX: $package
	sudo DEBIAN_FRONTEND=noninteractive apt-get install --yes "$@"
 }
rule_dpkg_reconfigure () { # SYNTAX: $package
	sudo DEBIAN_FRONTEND=noninteractive dpkg-reconfigure "$@"
 }

rule__chrooted_configure () { # NOTE: est-ce bien utile à un moment ?
	export LANG=C
	export LC_CTYPE=C
	. /etc/profile
 }

rule_apache2_configure () { # XXX: cette règle n'est pas testée/mise-à-jour
	local -; set +f
	rule apt_get_install \
	 apache2-mpm-itk \
	 libapache2-mod-php5
		# VOIR: http://serverfault.com/questions/383526/how-do-i-select-which-apache-mpm-to-use/383634#383634
		# VOIR: http://jkroon.blogs.uls.co.za/it/security/using-php-fpm-and-mod_proxy_fcgi-to-optimize-and-secure-lamp-servers
		# NOTE: apache2-mpm-itk semble le plus sécurisé,
		# car on est certain que tout est exécuté avec les uid/gid
		# assignés au VirtualHost/Directory/Location
		# néamoins il se peut qu'une combinaison du genre :
		# apache2-mpm-{worker,event} + mod_proxy_fcgi + apache2-suexec-custom + php-fpm
		# soit plus performante (threads et pas forks),
		# cependant l'usage de suexec impose des forks il semble..
		# et mod_proxy_fcgi n'apparaît que dans apache 2.4 ;
		# donc pour l'instant : apache2-mpm-itk
	sudo rm -rf \
	 /etc/apache2/site.d
	sudo install -d -m 770 -o www -g www \
	 /etc/apache2 \
	 /etc/apache2/site.d \
	 /etc/apache2/x509.d
	cat /dev/stdin "$tool"/etc/apache2/apache2.conf <<-EOF |
		ServerName "$vm_fqdn"
		EOF
	sudo install -m 660 -o root -g root /dev/stdin \
	 /etc/apache2/apache2.conf
	sudo install -m 660 -o root -g root \
	 "$tool"/etc/apache2/envvars \
	        /etc/apache2/envvars
	sudo install -m 660 -o root -g root \
	 "$tool"/etc/apache2/httpd.conf \
	        /etc/apache2/httpd.conf
	#sudo install -m 660 -o root -g root /dev/stdin \
	# /etc/apache2/suexec/www-data <<-EOF
	#	/home
	#	pub/www/cgi
	#	EOF
	sudo install -m 660 -o root -g root \
	 "$tool"/etc/apache2/ports.conf \
	        /etc/apache2/ports.conf
	sudo a2enmod actions
	sudo a2enmod headers
	sudo a2enmod rewrite
	sudo a2enmod ssl
	sudo a2enmod userdir
	local conf
	sudo a2dissite "*"
	sudo ln -fns \
	 /etc/apache2 \
	 /home/www/etc/apache2
	for conf in "$tool"/etc/apache2/site.d/*/VirtualHost.conf
	 do conf=${conf#"$tool"/etc/apache2/site.d/}
		local site=${conf%/VirtualHost.conf}
		case $site in
		 (*-tls)
			local hint="run vm_remote apache2_key_send before"
			assert "sudo test -f /etc/apache2/site.d/\"$site\"/x509/key.pem" hint
			sudo install -d -m 770 -o www-"$site" -g www-"$site" \
			 /etc/apache2 \
			 /etc/apache2/site.d/"$site" \
			 /etc/apache2/x509.d/"$site" \
			 /etc/apache2/x509.d/"$site"/ca \
			 /etc/apache2/x509.d/"$site"/empty \
			 /etc/apache2/x509.d/"$site"/rvk \
			 /etc/apache2/x509.d/"$site"/usr
			sudo install -m 664 -o www -g www \
			 "$tool"/var/pub/x509/"$site"/crt.self-signed.pem \
			  /etc/apache2/x509.d/"$site"/crt.self-signed.pem
			#sudo install -m 664 -o www-"$site" -g www-"$site" \
			# "$tool"/var/pub/x509/"$site"/rvk.pem \
			#  /etc/apache2/x509.d/"$site"/rvk.pem
			sudo install -m 664 -o www -g www \
			 "$tool"/var/pub/x509/"$site"/ca/crt.self-signed.pem \
			  /etc/apache2/x509.d/"$site"/ca/crt.pem
			sudo install -m 664 -o www -g www \
			 "$tool"/var/pub/x509/"$site"/crt.pem \
			  /etc/apache2/x509.d/"$site"/crt.pem
			;;
		 esac
		case $site in
		 (*-tls)
			cat <<-EOF
				<IfModule mod_ssl.c>
					<VirtualHost *:$port>
						AssignUserID www-$site www-$site
						BrowserMatch "MSIE [2-6]"  ssl-unclean-shutdown nokeepalive downgrade-1.0 force-response-1.0
						BrowserMatch "MSIE [17-9]" ssl-unclean-shutdown
						CustomLog "|/usr/sbin/rotatelogs /home/www/log/$site/apache2/access/%Y-%m-%d.log 86400 60" Combined
						#CustomLog "/dev/null" Combined
						DocumentRoot /home/www/pub/$site
						ErrorLog "|/usr/sbin/rotatelogs /home/www/log/$site/apache2/error/%Y-%m-%d.log 86400 60"
						#ErrorLog "/dev/null"
						LogLevel Warn
						SSLCACertificateFile    /etc/apache2/x509.d/$site/crt.self-signed.pem
						SSLCACertificatePath    /etc/apache2/x509.d/$site/usr/
						#SSLCARevocationFile    /etc/apache2/x509.d/$site/rvk.pem
						SSLCADNRequestFile      /etc/apache2/x509.d/$site/crt.self-signed.pem
						SSLCADNRequestPath      /etc/apache2/x509.d/$site/empty/
							# NOTE: ne publie pas les certificats d’utilisateur-ice-s acceptés
						SSLCARevocationPath     /etc/apache2/x509.d/$site/rvk/
						SSLCertificateChainFile /etc/apache2/x509.d/$site/ca/crt.pem
						SSLCertificateFile      /etc/apache2/x509.d/$site/crt.pem
						SSLCertificateKeyFile   /etc/apache2/x509.d/$site/key.pem
						SSLCipherSuite AES+RSA+SHA256
						SSLEngine On
						SSLInsecureRenegotiation Off
						SSLOptions +StrictRequire +OptRenegotiate +StdEnvVars
						SSLProtocol -All +TLSv1
						#SSLRenegBufferSize 262144
						SSLSessionCacheTimeout 1200
						SSLStrictSNIVHostCheck On
						SSLUserName SSL_CLIENT_S_DN_CN
						SSLVerifyClient None
						SSLVerifyDepth 1
						$(cat "$tool"/etc/apache2/site.d/"$site"/VirtualHost.conf)
					 </VirtualHost>
				 </IfModule>
				EOF
			;;
		 (*)
			cat <<-EOF
				<VirtualHost *:$port>
					AssignUserID www-$site www-$site
					CustomLog "|/usr/sbin/rotatelogs /home/www/log/$site/apache2/access/%Y-%m-%d.log 86400 60" Combined
					#CustomLog "/dev/null" Combined
					DocumentRoot /home/www/pub/$site
					ErrorLog "|/usr/sbin/rotatelogs /home/www/log/$site/apache2/error/%Y-%m-%d.log 86400 60"
					#ErrorLog "/dev/null"
					LogLevel Warn
					$(cat "$tool"/etc/apache2/site.d/"$site"/VirtualHost.conf)
				 </VirtualHost>
				EOF
			;;
		 esac |
		sudo install -m 660 -o root -g root /dev/stdin \
		 /etc/apache2/site.d/"$site"/VirtualHost.conf
		sudo ln -fns \
		 ../site.d/"$site"/VirtualHost.conf \
		 /etc/apache2/sites-available/"$site"
		sudo install -d -m 770 -o www-"$site" -g www-"$site" \
		 /home/www/log/"$site" \
		 /home/www/log/"$site"/apache2
		sudo ln -fns \
		 /etc/apache2/site.d/"$site" \
		 /home/www/etc/apache2/"$site"
		test -e /home/www/pub/"$site" ||
		sudo install -d -m 2770 -o www-"$site" -g www-"$site" \
		 /home/www/pub/"$site"
		rule adduser www-"$site"
		 --disabled-password \
		 --group \
		 --no-create-home \
		 --home /home/www/pub/"$site" \
		 --shell /bin/false \
		 --system
		#sudo setfacl -m u:"www-$site":--x \
		# /home/www/ \
		# /home/www/pub/ \
		# /home/www/pub/"$site"/
		#sudo setfacl -m d:u:"www-$site":rwx \
		# "$home"/pub/www/"$site"/
		test ! -r "$tool"/etc/apache2/site.d/"$site"/configure.sh ||
		.         "$tool"/etc/apache2/site.d/"$site"/configure.sh
		test -e /etc/apache2/sites-enabled/"$site" ||
		sudo a2ensite "$site"
	 done
	sudo service apache2 restart
 }
rule_apt_configure () {
	sudo install -m 660 -o root -g root /dev/stdin /etc/apt/sources.list <<-EOF
		deb http://ftp.rezopole.net/debian $vm_lsb_name main
		EOF
	sudo install -m 660 -o root -g root /dev/stdin /etc/apt/sources.list.d/$vm_lsb_name-backports.list <<-EOF
		deb http://ftp.rezopole.net/debian $vm_lsb_name-backports main
		EOF
	sudo install -m 660 -o root -g root /dev/stdin /etc/apt/preferences <<-EOF
		Package: *
		Pin: release a=$vm_lsb_name
		Pin-Priority: 200
		
		Package: *
		Pin: release a=$vm_lsb_name-backports
		Pin-Priority: 170
		EOF
	sudo apt-get update
	rule apt_get_install apticron
	m4 \
	 --define=VM_DOMAINNAME=$vm_domainname \
	 <"$tool"/etc/apticron/apticron.conf.m4 |
	sudo install -m 644 -o root -g root /dev/stdin \
	 /etc/apticron/apticron.conf
 }
rule_boot_configure () {
	#warn "lors de l'installation Debian, surtout n'installer GRUB sur AUCUN disque proposé !"
	sudo debconf-set-selections <<-EOF
		grub-pc	grub-pc/install_devices	multiselect	
		EOF
	rule apt_get_install grub-pc
	sudo install -d -m 644 -o root -g root /boot/grub
	rule apt_get_install linux-image-$vm_arch
	sudo install -m 644 -o root -g root /dev/stdin /etc/default/grub <<-EOF
		GRUB_DEFAULT=0
		GRUB_TIMEOUT=5
		GRUB_DISTRIBUTOR=\`lsb_release -i -s 2> /dev/null || echo Debian\`
		GRUB_CMDLINE_LINUX_DEFAULT="quiet"
		GRUB_CMDLINE_LINUX="vt.default_utf8=1 rootfstype=ext4 loglevel=5 console=hvc0 ip=$vm_ipv4::$vm_ipv4:255.255.255.254:$vm:eth0:off resume=/dev/mapper/${vm}_swap_deciphered"
		GRUB_DISABLE_RECOVERY="true"
		#GRUB_PRELOAD_MODULES="lvm"
		EOF
	sudo install -m 644 -o root -g root /dev/stdin /boot/grub/device.map <<-EOF
		(hd0)   /dev/xvda
		(hd0)   /dev/mapper/domU-$(printf %s $vm_fqdn-disk | sed -e 's/-/--/g')
		EOF
	sudo update-grub2 # NOTE: prend en compte /boot/grub/device.map
	rule initramfs_configure
	rule apt_get_install molly-guard
	sudo install -m 644 -o root -g root /dev/stdin /etc/molly-guard/rc <<-EOF
		ALWAYS_QUERY_HOSTNAME=true
		 # NOTE: une alternative est de dire à sudo de conserver les SSH_*
		 #       néamoins demander tout le temps n'est pas trop contraignant
		 #       et davantage sécurisant.
		EOF
 }
rule_dovecot_configure () {
	rule apt_get_install dovecot-imapd dovecot-managesieved dovecot-sieve
	rule insserv_remove dovecot
	local hint="run vm_remote dovecot_key_send before"
	assert "sudo test -f /etc/dovecot/\"$vm_domainname\"/imap/x509/key.pem" hint
	sudo install -m 400 -o root -g root \
	 "$tool"/var/pub/x509/imap."$vm_domainname"/crt+crl.self-signed.pem \
	    /etc/dovecot/"$vm_domainname"/imap/x509/crt+crl.self-signed.pem
	sudo install -d -m 770 -o root -g root \
	 /etc/skel/etc/mail \
	 /etc/skel/etc/sieve
	sudo install -d -m 1777 -o root -g root \
	 /var/lib/dovecot-control \
	 /var/lib/dovecot-index
	m4 \
	 --define=VM_DOMAINNAME=$vm_domainname \
	 <"$tool"/etc/dovecot/local.conf.m4 |
	sudo install -m 644 -o root -g root /dev/stdin \
	 /etc/dovecot/local.conf
	sudo install -m 755 -o root -g root /dev/stdin /usr/local/bin/dovecot-passwd <<-EOF
		#!/bin/sh -efux
		# DESCRIPTION: permet à un-e utilisateurice d'initialiser ellui-même son mot-de-passe dovecot.
		install -d -m 770 ~/etc/dovecot
		install -m 640 /dev/stdin ~/etc/dovecot/passwd <<_EOF
		\$USER:\$(/usr/bin/doveadm pw -s SHA512-CRYPT):::::::
		_EOF
		EOF
	rule runit_sv_configure dovecot
	rule runit_sv_restart   dovecot
 }
rule_etckeeper_configure () {
	sudo install -m 644 -o root -g root /dev/stdin /etc/etckeeper/etckeeper.conf <<-EOF
		VCS=git
		GIT_COMMIT_OPTIONS=""
		AVOID_DAILY_AUTOCOMMITS=1
		#AVOID_SPECIAL_FILE_WARNING=1
		AVOID_COMMIT_BEFORE_INSTALL=1
		HIGHLEVEL_PACKAGE_MANAGER=apt
		LOWLEVEL_PACKAGE_MANAGER=dpkg
		EOF
	sudo install -m 644 -o root -g root \
	 "$tool"/etc/etckeeper/prompt.sh \
	        /etc/etckeeper/prompt.sh
	rule apt_get_install etckeeper
 }
rule_filesystem_configure () {
	m4 \
	 --define=VM_LVM_LV=$vm_lvm_lv \
	 --define=VM_LVM_VG=$vm_lvm_vg \
	 <"$tool"/etc/fstab.m4 |
	sudo install -m 644 -o root -g root /dev/stdin \
	 /etc/fstab
	m4 \
	 --define=VM_LVM_LV=$vm_lvm_lv \
	 --define=VM_LVM_VG=$vm_lvm_vg \
	 <"$tool"/etc/crypttab.m4 |
	sudo install -m 644 -o root -g root /dev/stdin \
	 /etc/crypttab
	rule tmpfs_configure
 }
rule_initramfs_configure () {
	sudo install -m 644 -o root -g root /dev/stdin /etc/initramfs-tools/initramfs.conf <<-EOF
		MODULES=most
		BUSYBOX=y
		KEYMAP=y
		COMPRESS=gzip
		DEVICE=eth0
		EOF
	sudo install -m 644 -o root -g root /dev/stdin /etc/modprobe.d/xen-pv.conf <<-EOF
		alias eth0 xennet
		alias scsi_hostadapter xenblk
		EOF
	sudo install -m 644 -o root -g root /dev/stdin /etc/modules <<-EOF
		sha1_generic
		sha256_generic
		sha512_generic
		aes-x86_64
		xts
		# NOTE: pour Xen en mode HVM :
		#modprobe xen-platform-pci
		EOF
	sudo install -m 644 -o root -g root /dev/stdin /etc/initramfs-tools/modules <<-EOF
		EOF
	sudo sed -e '/^configure_networking /s/ &$//' \
	 -i /usr/share/initramfs-tools/scripts/init-premount/dropbear
	 # NOTE: corrige une vermine : dropbear doit attendre que le réseau soit configuré..
	ssh-keygen -F "init.$vm_fqdn" -f "$tool"/etc/openssh/known_hosts |
	( while IFS= read -r line
	 do case $line in (*" RSA") return 0; break;; esac
	 done; return 1 ) ||
	 {
	sudo rm -f \
	 /etc/initramfs-tools/etc/dropbear/dropbear_rsa_host_key \
	 /etc/initramfs-tools/etc/dropbear/dropbear_rsa_host_key.pub
	sudo dropbearkey -t rsa -s 4096 -f \
	 /etc/initramfs-tools/etc/dropbear/dropbear_rsa_host_key
	 }
	# NOTE: ne se préoccupe pas de dropbear_dss_host_key ; Debian la génère et l'utilise néamoins.
	sudo install -d -m 640 -o root -g root \
	 /etc/initramfs-tools/root \
	 /etc/initramfs-tools/root/.ssh
	getent group sudo |
	while IFS=: read -r group x x users
	 do while test -n "$users" && IFS=, read -r user users <<-EOF
			$users
			EOF
		 do eval local home\; home="~$user"
			sudo cat "$home"/etc/ssh/authorized_keys
		 done
	 done |
	sudo install -m 644 -o root -g root /dev/stdin \
	 /etc/initramfs-tools/root/.ssh/authorized_keys
	sudo rm -f \
	 /etc/initramfs-tools/root/.ssh/id_rsa.dropbear \
	 /etc/initramfs-tools/root/.ssh/id_rsa.pub \
	 /etc/initramfs-tools/root/.ssh/id_rsa
	 # NOTE: clefs générées par Debian
	sudo update-initramfs -u
 }
rule_insserv_remove () { # SYNTAX: $sv
	local sv="$1"
	sudo chmod u+x /etc/init.d/"$sv"
	sudo insserv --force --remove "$sv"
	sudo /etc/init.d/"$sv" stop
	sudo chmod ugo-x /etc/init.d/"$sv"
 }
rule_gitolite_configure () {
	sudo debconf-set-selections <<-EOF
		gitolite	gitolite/gituser	string	git
		gitolite	gitolite/adminkey	string	
		gitolite	gitolite/gitdir	string	/home/git
		EOF
	rule apt_get_install gitolite
	rule adduser git \
	 --disabled-password \
	 --group \
	 --home /home/git \
	 --shell /bin/bash \
	 --system
	sudo chfn --full-name git git
	rule adduser log-git \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /home/git/log \
	 --shell /bin/false \
	 --system
	rule adduser git-data \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /home/git/pub \
	 --shell /bin/false \
	 --system
	sudo adduser git        git-data
	sudo install -d -m 750 -o git -g git \
	 /etc/gitolite \
	 /home/git/etc \
	 /home/git/etc/ssh
	sudo install -d -m 751 -o git -g git \
	 /home/git
	sudo install -d -m 2770 -o git-data -g git-data \
	 /home/git/pub
	sudo install -d -m 1771 -o git -g git \
	 /home/git/log
	sudo install -d -m 2770 -o git -g log-git \
	 /home/git/log/gitolite \
	 /home/git/log/gitolite/perf
	sudo install -d -m 3771 -o git -g git \
	 /home/git/hooks
	sudo ln -fns /etc/gitolite /home/git/etc/gitolite
	sudo ln -fns /etc/gitweb /home/git/etc/gitweb
	sudo ln -fns etc/gitolite/gitolite.rc /home/git/.gitolite.rc
	sudo ln -fns etc/ssh /home/git/.ssh
	sudo install -m 770 -o git -g git /dev/stdin \
	 /home/git/etc/gitolite/gitolite.rc <<-EOF
		#\$ADMIN_POST_UPDATE_CHAINS_TO = "hooks/post-update.secondary";
		#\$BIG_INFO_CAP = 20;
		#\$ENV{GL_SLAVES} = 'gitolite@server2 gitolite@server3';
			# NOTE: Please use single quotes, not double quotes.
		#\$GITWEB_URI_ESCAPE = 0;
		\$GIT_PATH = "";
		#\$GL_ADC_PATH = "";
		\$GL_ADMINDIR = \$ENV{HOME} . "/etc/gitolite";
		#\$GL_ALL_INCLUDES_SPECIAL = 0;
		#\$GL_ALL_READ_ALL = 0;
		\$GL_BIG_CONFIG = 0;
		\$GL_CONF = "\$GL_ADMINDIR/conf/gitolite.conf";
		\$GL_CONF_COMPILED = "\$GL_ADMINDIR/conf/gitolite.conf.pm";
		#\$GL_GET_MEMBERSHIPS_PGM = "/usr/local/bin/expand-ldap-user-to-groups"
		\$GL_GITCONFIG_KEYS = "gitweb\\..* hooks\\..*";
		#\$GL_HOSTNAME = "git.$vm_domainname";
			# NOTE: read doc/mirroring.mkd COMPLETELY before setting this.
		#\$GL_HTTP_ANON_USER = "mob";
		\$GL_KEYDIR = "\$GL_ADMINDIR/keydir";
		\$GL_LOGT = \$ENV{HOME} . "/log/gitolite/%y-%m-%d.log";
		#\$GL_NICE_VALUE = 0;
		\$GL_NO_CREATE_REPOS = 0;
		\$GL_NO_DAEMON_NO_GITWEB = 0;
		\$GL_NO_SETUP_AUTHKEYS = 0;
		\$GL_PACKAGE_CONF = "/usr/share/gitolite/conf";
		\$GL_PACKAGE_HOOKS = "/usr/share/gitolite/hooks";
		#\$GL_PERFLOGT = \$ENV{HOME} . "/log/gitolite/perf/%y-%m-%d.log";
		#\$GL_REF_OR_FILENAME_PATT = qr(^[0-9a-zA-Z][0-9a-zA-Z._\\@/+ :,-]*\$);
		\$GL_SITE_INFO = "git.$vm_domainname";
		#\$GL_SLAVE_MODE = 0;
		\$GL_WILDREPOS = 0;
		#\$GL_WILDREPOS_DEFPERMS = 'R @all';
		\$GL_WILDREPOS_PERM_CATS = "READERS WRITERS";
		\$HTPASSWD_FILE = "";
		\$PROJECTS_LIST = \$ENV{HOME} . "/etc/gitweb/projects.list";
		\$REPO_BASE = "pub";
		\$REPO_UMASK = 0007;
		\$RSYNC_BASE = "";
		\$SVNSERVE = "";
		#\$UPDATE_CHAINS_TO = "hooks/update.secondary";
		\$WEB_INTERFACE = "gitweb";
		1;
		EOF
	sudo install -m 600 -o git -g git \
	 "$tool"/var/pub/ssh/git.key \
	   /home/git/etc/ssh/git.pub
	sudo -u git \
	 GL_RC=/home/git/etc/gitolite/gitolite.rc \
	 GIT_AUTHOR_NAME=git \
		gl-setup -q /home/git/etc/ssh/git.pub git
	local d
	for d in doc logs src
	 do test ! -d /home/git/etc/gitolite/"$d" ||
		rmdir /home/git/etc/gitolite/"$d"
	 done
	rule tmpfs_configure
 }
rule_locales_configure () {
	sudo debconf-set-selections <<-EOF
		locales	locales/default_environment_locale	select	None
		locales	locales/locales_to_be_generated	multiselect	fr_FR.UTF-8 UTF-8
		EOF
	rule dpkg_reconfigure locales
 }
rule_login_configure () {
	sudo install -m 644 -o root -g root \
	 "$tool"/etc/inittab \
	        /etc/inittab
	sudo install -m 644 -o root -g root \
	 "$tool"/etc/login.defs \
	        /etc/login.defs
	grep -q '^session optional pam_umask.so\>' /etc/pam.d/common-session ||
	sudo install -m 644 -o root -g root /dev/stdin /etc/pam.d/common-session <<-EOF
		$(cat /etc/pam.d/common-session)
		session optional pam_umask.so
		EOF
	grep -q '^hvc0$' /etc/securetty ||
	sudo install -m 644 -o root -g root /dev/stdin /etc/securetty <<-EOF
		$(cat /etc/securetty)
		hvc0
		EOF
	grep -q '^xvc0$' /etc/securetty ||
	sudo install -m 644 -o root -g root /dev/stdin /etc/securetty <<-EOF
		$(cat /etc/securetty)
		xvc0
		EOF
 }
rule_mail_configure () {
	rule postfix_configure
	rule postgrey_configure
	rule procmail_configure
	rule dovecot_configure
 }
rule_mysql_configure () {
	rule apt_get_install mysql-server-5.5
	rule insserv_remove mysql
	rule adduser mysql \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /home/mysql \
	 --shell /bin/false \
	 --system
	rule adduser mysql-data \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /home/mysql/data \
	 --no-create-home \
	 --shell /bin/false \
	 --system
	sudo usermod --home /home/mysql mysql
	sudo adduser mysql mysql-data
	sudo install -d -m 751 -o mysql -g mysql \
	 /home/mysql
	sudo rm -rf /etc/mysql
	sudo install -d -m 750 -o mysql -g mysql \
	 /etc/mysql \
	 /etc/mysql/conf.d \
	 /home/mysql/etc
	sudo ln -fns \
	            /etc/mysql \
	 /home/mysql/etc/mysql
	sudo install -m 644 -o mysql -g mysql \
	 "$tool"/etc/mysql/my.cnf \
	        /etc/mysql/my.cnf
	if sudo test ! -d /home/mysql/data
	 then
		sudo install -d -m 750 -o mysql -g mysql-data \
		 /home/mysql/data
		sudo -u mysql mysql_install_db \
		 --datadir=/home/mysql/data \
		 --no-defaults
	 fi
	rule tmpfs_configure
	rule runit_sv_configure mysql
	rule runit_sv_restart   mysql
	while ! sudo -u mysql mysql -u mysql </dev/null
	do sleep 0.3; done
	# NOTE:
	# - ajoute l'accès par socket Unix à mysql
	# - ajoute les droits de super-utilisateur à mysql
	# - supprime l'accès par mot-de-passe à root
	# - supprime les bases de données de l'utilisateurice anonyme
	# - supprime l'utilisateurice anonyme
	# NOTE: mémo :
	#   GRANT USAGE ON *.* TO 'root'@'*' IDENTIFIED WITH auth_socket;
	#   CREATE USER 'root'@'localhost' IDENTIFIED WITH auth_socket;
	#   UPDATE mysql.user SET Password='' WHERE user='root';
	#   DELETE FROM mysql.user WHERE user = 'root' AND host NOT IN ('localhost', '127.0.0.1', '::1');
	sudo mysql -u root --batch --verbose <<-EOF
		DELETE FROM mysql.user WHERE user = 'root' and plugin = '';
		GRANT ALL PRIVILEGES ON *.* TO 'mysql'@'localhost' IDENTIFIED WITH auth_socket;
		UPDATE mysql.user SET grant_priv='Y',super_priv='Y' WHERE user='mysql';
		DELETE FROM mysql.db   WHERE user = '';
		DELETE FROM mysql.user WHERE user = '';
		FLUSH PRIVILEGES;
		EOF
 }
rule_mysql_db_add () { # SYNTAX: $user $db
	sudo -u mysql mysql --batch <<-EOF
		DROP   DATABASE IF EXISTS $db;
		CREATE DATABASE $db CHARACTER SET utf8 COLLATE utf8_general_ci;
		GRANT ALL PRIVILEGES ON $base.* TO '$user'@'localhost' IDENTIFIED WITH auth_socket;
		FLUSH PRIVILEGES;
		EOF
 }
rule_mysql_user_add () { # SYNTAX: $user
	sudo mysql -u mysql --batch <<-EOF || true
		DROP   USER '$user'@'localhost';
		EOF
	sudo mysql -u mysql --batch <<-EOF
		CREATE USER '$user'@'localhost' IDENTIFIED WITH auth_socket;
		EOF
 }
rule_network_configure () {
	sudo install -m 644 -o root -g root /dev/stdin /etc/hostname <<-EOF
		$vm
		EOF
	grep -q " $vm\$" /etc/hosts ||
	sudo install -m 644 -o root -g root /dev/stdin /etc/hosts <<-EOF
		$(cat /etc/hosts)
		127.0.0.1 $vm_fqdn $vm
		EOF
	sudo install -m 644 -o root -g root /dev/stdin /etc/resolv.conf <<-EOF
		search ${vm_host#*.}
		nameserver ${vm_host_nameserver}
		EOF
	m4 \
	 --define=VM_IPV4=$vm_ipv4 \
	 <"$tool"/etc/network/interfaces.m4 |
	sudo install -m 640 -o root -g root /dev/stdin \
	 /etc/network/interfaces
 }
rule_nginx_configure () {
	local -; set +f
	rule php5_fpm_configure
	rule apt_get_install nginx spawn-fcgi fcgiwrap
	rule insserv_remove  nginx
	rule insserv_remove fcgiwrap
	sudo rm -rf \
	 /etc/nginx/conf.d \
	 /etc/nginx/site.d
	sudo install -d -m 770 -o www -g www \
	 /etc/nginx \
	 /etc/nginx/conf.d \
	 /etc/nginx/site.d \
	 /etc/nginx/x509.d
	sudo ln -fns \
	 /etc/nginx \
	 /home/www/etc/nginx
	sudo install -m 660 -o www -g www \
	 "$tool"/etc/nginx/nginx.conf \
	        /etc/nginx/nginx.conf
	local conf
	for conf in "$tool"/etc/nginx/conf.d/*.conf
	 do conf=${conf#"$tool"/etc/nginx/conf.d/}
		sudo install -m 660 -o www -g www \
		 "$tool"/etc/nginx/conf.d/"$conf" \
		        /etc/nginx/conf.d/"$conf"
	 done
	for conf in "$tool"/etc/nginx/site.d/*/site.conf
	 do conf=${conf#"$tool"/etc/nginx/site.d/}
		local site="${conf%/site.conf}"
		rule adduser www-"$site" \
		 --disabled-login \
		 --disabled-password \
		 --group \
		 --home /home/www/pub/"$site" \
		 --shell /bin/false \
		 --system
		rule adduser log-www-"$site" \
		 --disabled-login \
		 --disabled-password \
		 --group \
		 --home /home/www/log/"$site"/nginx \
		 --shell /bin/false \
		 --system
		sudo install -d -m 771 -o log-www -g log-www \
		 /home/www/log/"$site"
		sudo install -d -m 770 -o www -g www \
		 /etc/nginx/site.d/"$site"
		sudo install -d -m 770 -o www -g www \
		 /etc/nginx/x509.d/"$site"
		test -L /home/www/pub/"$site" ||
		sudo install -d -m 2770 -o www-"$site" -g www-"$site" \
		 /home/www/pub/"$site"
		sudo adduser www-data www-"$site"
		sudo adduser www-data log-www-"$site"
		sudo install -m 660 -o www -g www \
		 "$tool"/etc/nginx/site.d/"$site"/local.conf \
		        /etc/nginx/site.d/"$site"/local.inc
		sudo install -m 660 -o www -g www \
		 "$tool"/etc/nginx/site.d/"$site"/site.conf \
		        /etc/nginx/site.d/"$site"/site.inc
		sudo install -m 660 -o www -g www /dev/stdin \
		 /etc/nginx/site.d/"$site"/server.conf <<-EOF
			server {
				access_log          /home/www/log/$site/nginx/access.log main;
				error_log           /home/www/log/$site/nginx/error.log warn;
				root                /home/www/pub/$site;
				include             /etc/nginx/site.d/$site/local.inc;
				include             /etc/nginx/site.d/$site/site.inc;
			 }
			EOF
		test ! -r "$tool"/etc/nginx/site.d/"$site"/configure.sh ||
		.         "$tool"/etc/nginx/site.d/"$site"/configure.sh
	 done
	rule tmpfs_configure
	rule runit_sv_configure nginx
	rule runit_sv_restart   nginx
 }
rule_nsd3_configure () { # NOTE: DNS autoritaire uniquement
	local -; set +f
	rule apt_get_install nsd
	rule insserv_remove nsd3
	sudo rm -rf \
	 /etc/nsd3/zone.d
	sudo install -d -m 750 -o root -g nsd \
	 /etc/nsd3/zone.d
	{
		cat <<-EOF
			server:
				ip-address: $vm_ipv4
				ip4-only: yes
			EOF
		cat "$tool"/etc/nsd3/nsd.conf
		local conf
		for conf in "$tool"/etc/nsd3/zone.d/*.conf
		 do conf=${conf#"$tool"/etc/nsd3/zone.d/}
			local domain=${conf%.conf}
			if test -e "$tool"/etc/nsd3/zone.d/"$domain".zone.m4
			 then m4 \
				 --define=ZONE_DOMAIN=$domain \
				 --define=ZONE_SERIAL=$(cd "$tool" && git log -1 --format="%ct" -- etc/nsd3/zone.d/"$domain".zone.m4) \
				 --define=VM_IP4=$vm_ipv4 \
				        "$tool"/etc/nsd3/zone.d/"$domain".zone.m4
			 else cat "$tool"/etc/nsd3/zone.d/"$domain".zone
			 fi |
			sudo install -m 440 -o root -g nsd /dev/stdin \
			 /etc/nsd3/zone.d/"$domain".zone
			sudo install -m 440 -o root -g nsd \
			 "$tool"/etc/nsd3/zone.d/"$conf" \
			        /etc/nsd3/zone.d/"$conf"
			cat <<-EOF
				zone:
					name: $domain
					zonefile: /etc/nsd3/zone.d/$domain.zone
				EOF
		 done
	} |
	sudo install -m 640 -o root -g nsd /dev/stdin \
	 /etc/nsd3/nsd.conf
	sudo nsdc rebuild
	rule runit_sv_configure nsd3
	rule runit_sv_restart   nsd3
 }
rule_ntp_configure () {
	# NOTE: http://my.opera.com/marcomarongiu/blog/2011/01/05/independent-wallclock-in-xen-4
	rule apt_get_install    ntp
	rule insserv_remove     ntp
	rule runit_sv_configure ntp
	rule runit_sv_restart   ntp
 }
rule_openerp_configure () {
	sudo install -m 660 -o root -g root /dev/stdin /etc/apt/sources.list.d/openerp.list <<-EOF
		deb http://nightly.openerp.com/7.0/nightly/deb/ ./
		EOF
	sudo install -d -m 1777 -o root -g root \
	 /etc/openerp
	rule apt_get_install openerp --force-yes
		# XXX: --force-yes car les paquets de nightly.openerp.com
		#      ne sont pas signés par OpenPGP..
	rule insserv_remove  openerp
 }
rule_php5_fpm_configure () {
	local -; set +f
	rule apt_get_install php5-fpm php-apc
	rule insserv_remove  php5-fpm
	rule adduser php5 \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /etc/php5/fpm \
	 --shell /bin/false \
	 --system
	rule adduser log-php5 \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /home/www/log/php5/fpm \
	 --shell /bin/false \
	 --system
	sudo ln -fns \
	 /etc/php5/fpm \
	 /home/www/etc/php5
	sudo rm -rf \
	 /etc/php5/fpm/conf.d \
	 /etc/php5/fpm/pool.d
	sudo install -d -m 770 -o php5 -g php5 \
	 /etc/php5/fpm/conf.d \
	 /etc/php5/fpm/pool.d
	sudo install -m 440 -o php5 -g php5 \
	 "$tool"/etc/php5/fpm/php-fpm.conf \
	        /etc/php5/fpm/php-fpm.conf
	local conf
	#for conf in "$tool"/etc/php5/fpm/conf.d/*.conf
	# do conf=${conf#"$tool"/etc/php5/fpm/conf.d/}
	#	sudo install -m 660 -o php5 -g php5 \
	#	 "$tool"/etc/php5/fpm/conf.d/"$conf" \
	#	        /etc/php5/fpm/conf.d/"$conf"
	# done
	for conf in "$tool"/etc/php5/fpm/pool.d/*.conf
	 do conf=${conf#"$tool"/etc/php5/fpm/pool.d/}
		IFS=. read -r pool <<-EOF
			${conf%.conf}
			EOF
		assert 'test "${pool:+set}"'
		rule adduser php5-"$pool" \
		 --disabled-login \
		 --disabled-password \
		 --group \
		 --no-create-home \
		 --home /etc/php5/fpm/pool.d \
		 --shell /bin/false \
		 --system
		rule adduser log-php5-"$pool" \
		 --disabled-login \
		 --disabled-password \
		 --group \
		 --no-create-home \
		 --home /home/www/log/php5/fpm/"$pool" \
		 --shell /bin/false \
		 --system
		sudo install -d -m 770 -o log-php5 -g log-php5 \
		 /home/www/log/php5 \
		 /home/www/log/php5/fpm
		sudo install -d -m 770 -o log-php5-"$pool" -g log-php5-"$pool" \
		 /home/www/log/php5/fpm/"$pool"
		sudo install -m 660 -o php5 -g php5 /dev/stdin \
		 /etc/php5/fpm/pool.d/"$pool".conf <<-EOF
			[$pool]
			access.log = /home/www/log/php5/fpm/$pool/access.log
			catch_workers_output = yes
			chdir = /
			env[HOSTNAME] = \$HOSTNAME
			env[TEMP] = /tmp
			env[TMPDIR] = /tmp
			env[TMP] = /tmp
			group = php5-$pool
			#listen = 127.0.0.1:9000
			listen = /run/php5/fpm/$pool
			#listen.allowed_clients = 127.0.0.1
			listen.group = www-data
			listen.mode = 0660
			#listen.owner = www-data
			listen.backlog = -1
			pm = dynamic
			pm.max_children = 5
			pm.max_requests = 200
			pm.max_spare_servers = 4
			pm.min_spare_servers = 2
			pm.start_servers = 3
			pm.status_path = /status
			request_slowlog_timeout = 5s
			request_terminate_timeout = 120s
			rlimit_core = unlimited
			rlimit_files = 131072
			slowlog = /home/www/log/php5/fpm/$pool/slow.log
			user = php5-$pool
			$(cat "$tool"/etc/php5/fpm/pool.d/"$conf")
			EOF
		sudo install -m 664 -o php5 -g php5 \
		 "$tool"/etc/php5/fpm/php.ini \
		        /etc/php5/fpm/php.ini
	 done
	rule tmpfs_configure
	rule runit_sv_configure php5-fpm
	rule runit_sv_restart   php5-fpm
 }
rule_postfix_configure () {
	local hint="run vm_remote postfix_key_send before"
	assert "test -f /etc/postfix/$vm_domainname/smtpd/x509/key.pem" hint
	#warn "lors de l'installation Debian, ne sélectionner aucune configuration pour postfix"
	sudo debconf-set-selections <<-EOF
		postfix	postfix/main_mailer_type	select	No configuration
		EOF
	rule apt_get_install postfix
	rule insserv_remove  postfix
	sudo install -m 640 -o root -g root /dev/stdin /etc/postfix/.gitignore <<-EOF
		*.db
		EOF
	sudo install -d -m 771 -o root -g root \
	 /etc/postfix/ \
	 /etc/postfix/$vm_domainname/ \
	 /etc/postfix/$vm_domainname/smtp \
	 /etc/postfix/$vm_domainname/smtp/x509 \
	 /etc/postfix/$vm_domainname/smtp/x509/ca \
	 /etc/postfix/$vm_domainname/smtpd \
	 /etc/postfix/$vm_domainname/smtpd/x509 \
	 /etc/postfix/$vm_domainname/smtpd/x509/ca
	sudo ln -fns \
	 ../crt+crl.self-signed.pem \
	 /etc/postfix/$vm_domainname/smtpd/x509/ca/crt.pem
	sudo install -m 400 -o root -g root \
	 "$tool"/var/pub/x509/smtpd.$vm_domainname/crt+crl.self-signed.pem \
	    /etc/postfix/$vm_domainname/smtpd/x509/crt+crl.self-signed.pem
	sudo install -m 400 -o root -g root \
	 "$tool"/var/pub/x509/smtpd.$vm_domainname/crt.pem \
	    /etc/postfix/$vm_domainname/smtpd/x509/crt.pem
	sudo install -m 400 -o root -g root \
	 "$tool"/var/pub/x509/smtpd.$vm_domainname/crt+ca.pem \
	    /etc/postfix/$vm_domainname/smtpd/x509/crt+ca.pem
	sudo install -m 400 -o root -g root \
	 "$tool"/var/pub/x509/smtpd.$vm_domainname/crt+crl.self-signed.pem \
	    /etc/postfix/$vm_domainname/smtpd/x509/crt+crl.self-signed.pem
	sudo install -m 640 -o root -g root \
	 "$tool"/etc/postfix/$vm_domainname/header_checks \
	        /etc/postfix/$vm_domainname/header_checks
	sudo install -m 644 -o root -g root /dev/stdin \
	 /etc/postfix/aliases <<-EOF
		# See man 5 aliases for format
		abuse: root
		admin: root
		contact: root
		mailer-daemon: root
		postmaster: root
		root: $(getent group sudo | cut -f 4 -d : | tr , ' ')
		EOF
	sudo newaliases -oA/etc/postfix/aliases
	cat /dev/stdin "$tool"/etc/postfix/main.cf <<-EOF |
		mydomain      = $vm_domainname
		myorigin      = \$mydomain
		myhostname    = $vm_hostname.\$mydomain
		mail_name     = \$myhostname
		mydestination = $vm_hostname \$myhostname \$myorigin
		EOF
	sudo install -m 640 -o root -g root /dev/stdin \
	 /etc/postfix/main.cf
	sudo install -m 640 -o root -g root \
	 "$tool"/etc/postfix/master.cf \
	        /etc/postfix/master.cf
	sudo install -m 640 -o root -g root \
	 "$tool"/etc/postfix/$vm_domainname/smtp/x509/policy \
	        /etc/postfix/$vm_domainname/smtp/x509/policy
	sudo postmap hash:/etc/postfix/$vm_domainname/smtp/x509/policy
	sudo install -m 640 -o root -g root \
	 "$tool"/etc/postfix/$vm_domainname/smtp/header_checks \
	        /etc/postfix/$vm_domainname/smtp/header_checks
	sudo install -m 640 -o root -g root \
	 "$tool"/etc/postfix/$vm_domainname/smtpd/sender_access \
	        /etc/postfix/$vm_domainname/smtpd/sender_access
	sudo postmap hash:/etc/postfix/$vm_domainname/smtpd/sender_access
	sudo install -m 640 -o root -g root \
	 "$tool"/etc/postfix/$vm_domainname/smtpd/client_blacklist \
	        /etc/postfix/$vm_domainname/smtpd/client_blacklist
	sudo postmap hash:/etc/postfix/$vm_domainname/smtpd/client_blacklist
	sudo install -m 640 -o root -g root \
	 "$tool"/etc/postfix/$vm_domainname/smtpd/relay_clientcerts \
	        /etc/postfix/$vm_domainname/smtpd/relay_clientcerts
	sudo postmap hash:/etc/postfix/$vm_domainname/smtpd/relay_clientcerts
	sudo install -m 640 -o root -g root \
	 "$tool"/etc/postfix/$vm_domainname/transport \
	        /etc/postfix/$vm_domainname/transport
	sudo postmap hash:/etc/postfix/$vm_domainname/transport
	sudo install -m 640 -o root -g root \
	 "$tool"/etc/postfix/$vm_domainname/virtual_alias \
	        /etc/postfix/$vm_domainname/virtual_alias
	sudo postmap hash:/etc/postfix/$vm_domainname/virtual_alias
	rule runit_sv_configure postfix
	rule runit_sv_restart   postfix
 }
rule_postgresql_configure () {
 # DOC: http://wiki.postgresql.org/wiki/Shared_Database_Hosting
	rule apt_get_install postgresql-9.1
	rule insserv_remove postgresql
	rule adduser postgres \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /home/postgresql \
	 --shell /bin/false \
	 --system
	rule adduser postgres-data \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /home/postgresql/data \
	 --no-create-home \
	 --shell /bin/false \
	 --system
	sudo usermod --home /home/postgresql postgres
	sudo adduser postgres postgres-data
	sudo rm -rf \
	 /etc/postgresql
	sudo install -d -m 1751 -o postgres -g postgres-data \
	 /home/postgresql \
	 /home/postgresql/etc \
	 /etc/postgresql \
	 /etc/postgresql/9.1 \
	 /etc/postgresql/9.1/main
	sudo ln -fns \
	                 /etc/postgresql \
	 /home/postgresql/etc/postgresql
	sudo install -d -m 2770 -o postgres -g log-postgres \
	 /home/postgresql/log \
	 /home/postgresql/log/9.1 \
	 /home/postgresql/log/9.1/main
	rule tmpfs_configure
	if sudo test ! -d /home/postgresql/data
	 then
		sudo install -d -m 750 -o postgres -g postgres \
		 /home/postgresql/data
		sudo -u postgres pg_createcluster \
		 --datadir=/home/postgresql/data \
		 --logfile=/home/postgresql/log/9.1/main/cluster.log  \
		 --socketdir=/run/postgresql \
		 9.1 main
	 fi
	
	sudo install -m 640 -o postgres -g postgres /dev/stdin \
	 /etc/postgresql/9.1/main/pg_ctl.conf <<-EOF
		pg_ctl_options = ''
		EOF
	sudo install -m 640 -o postgres -g postgres /dev/stdin \
	 /etc/postgresql/9.1/main/pg_ident.conf <<-EOF
		# MAPNAME       SYSTEM-USERNAME         PG-USERNAME
		EOF
	sudo install -m 640 -o postgres -g postgres /dev/stdin \
	 /etc/postgresql/9.1/main/start.conf <<-EOF
		EOF
	sudo install -m 640 -o postgres -g postgres /dev/stdin \
	 /etc/postgresql/9.1/main/pg_hba.conf <<-EOF
		local all postgres peer
		local all all      peer
		EOF
	sudo install -m 640 -o postgres -g postgres-data \
	 "$tool"/etc/postgresql/9.1/main/postgresql.conf \
	        /etc/postgresql/9.1/main/postgresql.conf
	rule runit_sv_configure postgres
	rule runit_sv_restart   postgres
	while ! sudo -u postgres psql </dev/null
	do sleep 1; done
	# NOTE: supprime l'accès au schéma public depuis public,
	#       de sorte à ce que les différents utilisateurices
	#       ne voient pas leurs bases de données entre-elleux ;
	sudo -u postgres psql template1 -a -f - <<-EOF
		\set ON_ERROR_STOP on
		REVOKE ALL ON DATABASE template1 FROM public;
		REVOKE ALL ON SCHEMA   public    FROM public;
		GRANT  ALL ON SCHEMA   public    TO   postgres;
		EOF
	# NOTE: ajoute le support de PL/PGSQL s'il ne l'est pas déjà.
	sudo -u postgres psql template1 -a -f - <<-EOF
		\set ON_ERROR_STOP on
		CREATE OR REPLACE FUNCTION create_language_plpgsql()
			RETURNS BOOLEAN AS \$\$
				CREATE LANGUAGE plpgsql;
				SELECT TRUE;
			\$\$ LANGUAGE SQL;
		SELECT CASE WHEN NOT (
			SELECT  TRUE AS exists
			FROM    pg_language
			WHERE   lanname = 'plpgsql'
			UNION
			SELECT  FALSE AS exists
			ORDER BY exists DESC
			LIMIT 1
		 )
		THEN
			create_language_plpgsql()
		ELSE
			FALSE
		END AS plpgsql_created;
		DROP FUNCTION create_language_plpgsql();
		EOF
	# NOTE: supprime l'accès à la liste des bases données
	#       et utilisateurices depuis public.
	sudo -u postgres psql template1 -a -f - <<-EOF
		\set ON_ERROR_STOP on
		REVOKE ALL ON pg_auth_members FROM public;
		REVOKE ALL ON pg_authid       FROM public;
		REVOKE ALL ON pg_database     FROM public;
		REVOKE ALL ON pg_group        FROM public;
		REVOKE ALL ON pg_roles        FROM public;
		REVOKE ALL ON pg_settings     FROM public;
		REVOKE ALL ON pg_tablespace   FROM public;
		REVOKE ALL ON pg_user         FROM public;
		EOF
 }
rule_postgresql_db_add () { # SYNTAX: $db $owner
	local db="$1"
	local owner="${2:-$db}"
	sudo -u postgres psql template1 -a -f - <<-EOF
		\set ON_ERROR_STOP on
		DO LANGUAGE plpgsql \$\$
		BEGIN
			IF NOT EXISTS (
			 SELECT *
			 FROM pg_catalog.pg_user
			 WHERE usename = '$owner'
			 LIMIT 1
			) THEN
				CREATE ROLE $owner
				 LOGIN
				 NOCREATEDB
				 NOCREATEROLE
				 NOINHERIT
				 NOSUPERUSER;
			END IF;
		END;
		\$\$;
		EOF
	case $(sudo -u postgres psql template1 -t -c \
		"SELECT datname FROM pg_catalog.pg_database WHERE datname = '$db' LIMIT 1") in
	 (" $db") true;;
	 (*)
		sudo -u postgres psql template1 -a -f - <<-EOF
			\set ON_ERROR_STOP on
			CREATE DATABASE $db WITH OWNER=$owner;
			EOF
		;;
	 esac
	sudo -u postgres psql template1 -a -f - <<-EOF
		\set ON_ERROR_STOP on
		REVOKE ALL ON DATABASE $db FROM public;
		EOF
	sudo -u postgres psql "$db" -a -f - <<-EOF
		\set ON_ERROR_STOP on
		GRANT ALL ON SCHEMA public TO $owner WITH GRANT OPTION;
		EOF
 }
rule_postgresql_db_user_add () { # SYNTAX: $db $user
	local db="$1" user="$2"
	sudo -u postgres psql "$db" -a -f - <<-EOF
		\set ON_ERROR_STOP on
		DO LANGUAGE plpgsql \$\$
		BEGIN
			IF NOT EXISTS (
			 SELECT *
			 FROM pg_catalog.pg_user
			 WHERE usename = '$user'
			 LIMIT 1
			) THEN
				CREATE ROLE $user
				 LOGIN
				 NOCREATEDB
				 NOCREATEROLE
				 NOINHERIT
				 NOSUPERUSER;
			END IF;
		END;
		\$\$;
		GRANT USAGE ON SCHEMA public TO $user;
		GRANT CONNECT,TEMPORARY ON DATABASE $db TO $user;
		EOF
 }
rule_postgrey_configure () {
	rule apt_get_install    postgrey
	rule insserv_remove     postgrey
	rule tmpfs_configure
	rule runit_sv_configure postgrey
	rule runit_sv_restart   postgrey
 }
rule_procmail_configure () {
	rule apt_get_install procmail
	sudo install -d -m 770 -o root -g root \
	 /etc/skel/etc/mail \
	 /etc/skel/var/cache/mail \
	 /etc/skel/var/log/mail \
	 /etc/skel/var/mail
	sudo install -m 660 -o root -g root \
	 "$tool"/etc/skel/etc/mail/delivery.procmailrc \
	        /etc/skel/etc/mail/delivery.procmailrc
 }
rule_runit_configure () { # SYNTAX: $service
	rule apt_get_install runit
	local -; set +f
	for sv in ${1-/etc/service/*}
	 # NOTE: stoppe les services en retenant leur status de départ
	 do sv=${sv##*/}
		local sv_hash=$(printf %s "$sv" | sha1sum | cut -f 1 -d ' ')
		local sv_status
		IFS= read -r sv_status_$sv_hash <<-EOF
			$(sudo sv status "$sv" || true)
			EOF
		sudo rm -f /etc/service/"$sv"
	 done
	set -$- ${1-"$tool"/etc/sv/*}
	while test -n "$*"
	 # NOTE: configure et (re-)démarre les services
	 do local first=yes
		for sv in "$@"
		do sv=${sv##*/}
			case $first in
			 (yes) shift $#; first=;;
			 esac
			local sv_hash=$(printf %s "$sv" | sha1sum | cut -f 1 -d ' ')
			rule runit_sv_configure "$sv"
			eval local sv_status=\"\${sv_status_$sv_hash-}\"
			case $sv_status in
			 ("") true;;
			 (run:*|fail:*) rule runit_sv_restart "$sv";;
			 esac
		 done
	 done
 }
rule_runit_sv_configure () { # SYNTAX: $sv
	local sv="$1"
	sudo install -d -m 770 -o root -g root \
	 /etc/sv/"$sv"
	sudo install -m 770 -o root -g root \
	 "$tool"/etc/sv/"$sv"/run \
	        /etc/sv/"$sv"/run
	if test -e "$tool"/etc/sv/"$sv"/log/run
	 then
		sudo install -d -m 770 -o root -g root \
		 /etc/sv/"$sv"/log
		sudo install -m 770 -o root -g root \
		 "$tool"/etc/sv/"$sv"/log/run \
		        /etc/sv/"$sv"/log/run
	 fi
	local continue=
	test ! -r "$tool"/etc/sv/"$sv"/configure.sh ||
	.         "$tool"/etc/sv/"$sv"/configure.sh
	case $continue in
	 (yes) continue;;
	 esac
	sudo ln -fns \
	        ../sv/"$sv" \
	 /etc/service/"$sv"
 }
rule_runit_sv_restart () { # SYNTAX: $sv
	local sv="$1"
	rule runit_sv_configure "$sv"
	while true
	 do case $(sudo sv restart "$sv") in
		 ("fail: $sv: runsv not running") sleep 1;;
		 ("warning: $sv: unable to open supervise/ok: file does not exists") sleep 1;;
		 (*) break;;
		 esac
	 done
 }
rule_shorewall_configure () {
	# DOC: http://shorewall.net/Introduction.html
	local -; set +f
	rule apt_get_install shorewall
	sudo install -m 644 -o root -g root /dev/stdin \
	 /etc/default/shorewall <<-EOF
		INITLOG=/dev/null
		OPTIONS=""
		RESTARTOPTIONS=""
		SAFESTOP=0
		STARTOPTIONS=""
		startup=1
		EOF
	local conf
	for conf in "$tool"/etc/shorewall/*
	 do conf=${conf#"$tool"/etc/shorewall/}
		sudo test ! -f "$tool"/etc/shorewall/"$conf" ||
		sudo install -m 640 -o root -g root \
		 "$tool"/etc/shorewall/"$conf" \
		        /etc/shorewall/"$conf"
	 done
	sudo install -d -m 750 -o root -g root \
	 /etc/shorewall/macro.d
	for conf in "$tool"/etc/shorewall/macro.d/*
	 do conf=${conf#"$tool"/etc/shorewall/macro.d/}
		sudo test ! -f "$tool"/etc/shorewall/macro.d/"$conf" ||
		sudo install -m 640 -o root -g root \
		 "$tool"/etc/shorewall/macro.d/"$conf" \
		        /etc/shorewall/macro.d/"$conf"
	 done
	sudo install -d -m 750 -o root -g root \
	 /etc/shorewall/action.d
	#for conf in "$tool"/etc/shorewall/action.d/*
	# do conf=${conf#"$tool"/etc/shorewall/action.d/}
	#	sudo test ! -f "$tool"/etc/shorewall/action.d/"$conf" ||
	#	sudo install -m 640 -o root -g root \
	#	 "$tool"/etc/shorewall/action.d/"$conf" \
	#	        /etc/shorewall/action.d/"$conf"
	# done
	#sudo shorewall safe-restart
 }
rule_ssh_configure () {
	rule apt_get_install openssh-server
	rule insserv_remove ssh
	ssh-keygen -F "$vm_fqdn" -f "$tool"/etc/openssh/known_hosts |
	( while IFS= read -r line
	 do case $line in (*" RSA") return 0; break;; esac
	 done; return 1 ) ||
	sudo ssh-keygen -t rsa -b 4096 -N '' -f /etc/ssh/ssh_host_rsa_key
	sudo rm -f \
	 /etc/ssh/ssh_host_dsa_key \
	 /etc/ssh/ssh_host_dsa_key.pub \
	 /etc/ssh/ssh_host_ecdsa_key \
	 /etc/ssh/ssh_host_ecdsa_key.pub
	 # NOTE: clefs générées par Debian
	m4 \
	 --define=VM_IPV4=$vm_ipv4 \
	 <"$tool"/etc/ssh/sshd_config.m4 |
	sudo install -m 640 -o root -g root /dev/stdin \
	 /etc/ssh/sshd_config
	sudo install -m 644 -o root -g root \
	 "$tool"/etc/ssh/ssh_config \
	        /etc/ssh/ssh_config
	rule runit_sv_configure sshd
	rule runit_sv_restart   sshd
 }
rule_sysctl_configure () {
	local -; set +f
	for conf in "$tool"/etc/sysctl.d/*.conf
	 do conf=${conf#"$tool"/etc/sysctl.d/}
		sudo install -m 660 -o root -g root \
		 "$tool"/etc/sysctl.d/"$conf" \
		        /etc/sysctl.d/"$conf"
	 done
	sudo sysctl --system
 }
rule_tmpfs_configure () {
	sudo install -m 644 -o root -g root /dev/stdin /etc/default/tmpfs <<-EOF
		LOCK_SIZE=5242880 # NOTE: 5MiB
		RAMLOCK=yes
		RAMSHM=yes
		RAMTMP=yes
		RUN_SIZE=10%
		SHM_SIZE=
		TMP_MODE=1777,nr_inodes=1000k,noatime
		TMP_OVERFLOW_LIMIT=1024
		 # NOTE: mount tmpfs on /tmp if there is less than the limit size (in kiB)
		 #       on the root filesystem (overriding RAMTMP).
		TMP_SIZE=200m
		TMPFS_SIZE=20%VM
		EOF
	sudo install -m 775 -o root -g root \
	 "$tool"/etc/init.d/tmpfs \
	        /etc/init.d/tmpfs
	sudo update-rc.d tmpfs defaults
	sudo service tmpfs restart
 }
rule_time_configure () {
	sudo install -m 644 -o root -g root /dev/stdin /etc/timezone <<-EOF
		Europe/Paris
		EOF
	sudo debconf-set-selections <<-EOF
		tzdata	tzdata/Areas	select	Europe
		tzdata	tzdata/Zones/Europe	select	Paris
		EOF
	rule dpkg_reconfigure tzdata
	rule ntp_configure
 }
rule_unbound_configure () {
	sudo apt-get install unbound
	rule insserv_remove unbound
	sudo install -m 644 -o root -g root /dev/stdin /etc/resolv.conf <<-EOF
		search ${vm_host#*.}
		nameserver 127.0.0.1
		#nameserver ${vm_host_nameserver}
		EOF
	sudo install -m 440 -o unbound -g unbound \
	 "$tool"/etc/unbound/named.cache \
	 /etc/unbound/named.cache
	m4 \
	 --define=OUTGOING_INTERFACE=$vm_ipv4 \
	 <"$tool"/etc/unbound/unbound.conf |
	sudo install -m 440 -o unbound -g unbound /dev/stdin \
	 /etc/unbound/unbound.conf
	rule runit_sv_configure unbound
	rule runit_sv_restart   unbound
 }
rule_user_add () { # SYNTAX: $user
	local user="$1"; shift
	rule adduser "$user" --disabled-password "$@"
		# NOTE: le mot-de-passe doit être initialisé par l'utilisateur à l'aide de passwd-init .
	eval local home\; home="~$user"
	sudo adduser "$user" users
	sudo install -m 640 -o "$user" -g "$user" \
	 "$tool"/var/pub/ssh/"$user".key \
	 "$home"/etc/ssh/authorized_keys
	local key; local -; set +f
	for key in "$tool"/var/pub/openpgp/*.key
	 do sudo -u "$user" gpg --import - <"$key"
	 done
 }
rule_user_configure () {
	rule apt_get_install bash-completion
	sudo install -m 660 -o root -g root \
	 "$tool"/etc/adduser.conf \
	        /etc/adduser.conf
	sudo install -d -m 750 -o root -g root \
	 /etc/skel \
	 /etc/skel/etc \
	 /etc/skel/etc/gpg \
	 /etc/skel/etc/ssh
	sudo install -d -m 770 -o root -g root \
	 /etc/skel/var \
	 /etc/skel/var/cache \
	 /etc/skel/var/log \
	 /etc/skel/var/run \
	 /etc/skel/var/run/ssh
	sudo ln -fns etc/ssh /etc/skel/.ssh
	sudo ln -fns etc/gpg /etc/skel/.gnupg
	sudo install -m 640 -o root -g root /dev/stdin /etc/sudoers.d/passwd-init <<-EOF
		%sudo ALL=(ALL) NOPASSWD: /bin/sh -e -f -u -c \\
		  case \$(/usr/bin/passwd --status "\$SUDO_USER") in \\
		    ("\$SUDO_USER L "*) /usr/bin/passwd \$SUDO_USER;; esac
		EOF
	sudo install -m 640 -o root -g root /dev/stdin /etc/sudoers.d/etckeeper-unclean <<-EOF
		%sudo ALL=(ALL) NOPASSWD: /usr/bin/etckeeper unclean
		EOF
	sudo install -m 640 -o root -g root /dev/stdin /etc/sudoers.d/env_keep <<-EOF
		Defaults env_keep = " \\
		  EDITOR \\
		  GIT_AUTHOR_NAME \\
		  GIT_AUTHOR_EMAIL \\
		  GIT_COMMITTER_NAME \\
		  GIT_COMMITTER_EMAIL \\
		 "
		EOF
	sudo install -m 755 -o root -g root /dev/stdin /usr/local/bin/passwd-init <<-EOF
		#!/bin/sh -efu
		# DESCRIPTION: permet à un-e utilisateurice d'initialiser ellui-même son mot-de-passe système.
		sudo /bin/sh -e -f -u -c \
		  'case \$(/usr/bin/passwd --status "\$SUDO_USER") in ("\$SUDO_USER L "*) /usr/bin/passwd \$SUDO_USER;; esac'
		EOF
	sudo install -m 644 -o root -g root \
	 "$tool"/etc/bash.bashrc \
	        /etc/bash.bashrc
	sudo install -m 644 -o root -g root \
	 "$tool"/etc/screenrc \
	        /etc/screenrc
	local sh; local -; set +f
	for sh in "$tool"/etc/user.d/*/configure.sh
	 do sh=${sh#"$tool"/etc/user.d/}
		local user="${sh%/configure.sh}"
		. "$tool"/etc/user.d/"$sh"
	 done
 }
rule_user_admin_add () { # SYNTAX: $user
	rule user_configure
	local user=$1
	rule adduser "$user" --disabled-password
	eval local home\; home="~$user"
	sudo adduser "$user" sudo
	sudo install -m 640 -o root -g root \
	 "$tool"/var/pub/ssh/"$user".key \
	 "$home"/etc/ssh/authorized_keys
	local key; local -; set +f
	for key in "$tool"/var/pub/openpgp/*.key
	 do sudo -u "$user" gpg --import - <"$key"
	 done
	rule user_admin_configure
 }
rule_user_admin_configure () {
	rule initramfs_configure
	rule user_root_configure
 }
rule_user_root_configure () {
	sudo install -d -m 750 -o root -g root \
	 /root/etc \
	 /root/etc/gpg \
	 /root/etc/ssh
	sudo ln -fns etc/gpg /root/.gnupg
	sudo ln -fns etc/ssh /root/.ssh
	getent group sudo |
	while IFS=: read -r group x x users
	 do while test -n "$users" && IFS=, read -r user users <<-EOF
			$users
			EOF
		 do eval local home\; home="~$user"
			sudo cat "$home"/etc/ssh/authorized_keys
		 done
	 done |
	sudo install -m 640 -o root -g root /dev/stdin /root/etc/ssh/authorized_keys
	local key; local -; set +f
	for key in "$tool"/var/pub/openpgp/*.key
	 do sudo gpg --import "$key"
	 done
 }
rule_www_configure () {
	rule adduser www \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /home/www \
	 --shell /bin/false \
	 --system
	rule adduser log-www \
	 --disabled-login \
	 --disabled-password \
	 --group \
	 --home /home/www/log \
	 --shell /bin/false \
	 --system
	#sudo adduser www www-data
	sudo adduser www log-www
	#sudo adduser log log-www
	usermod --home /home/www/pub www-data
	sudo install -d -m 751 -o www -g www \
	 /home/www
	sudo install -d -m 750 -o www -g www \
	 /home/www/etc
	sudo install -d -m 1771 -o www-data -g www-data \
	 /home/www/pub
	sudo install -d -m 1771 -o log-www -g log-www \
	 /home/www/log
 }
rule_configure () {
	rule apt_configure
	rule git_configure
	rule etckeeper_configure
	rule locales_configure
	rule time_configure
	rule network_configure
	rule filesystem_configure
	rule login_configure
	rule ssh_configure
	rule user_root_configure
	rule boot_configure
	rule sysctl_configure
	rule user_configure
	rule mail_configure
	rule gitolite_configure
	rule www_configure
	rule nginx_configure
	#rule apache2_configure
	rule nsd3_configure
	rule unbound_configure
	rule postgresql_configure
	rule mysql_configure
	rule shorewall_configure
	rule runit_configure
 }

rule_luks_key_change () {
	sudo cryptsetup luksChangeKey /dev/$vm_lvm_vg/${vm_lvm_lv}_root
 }

rule=${1:-help}
${1+shift}
case $rule in
 (help);;
 (*)
	assert 'test "$(hostname --fqdn)" = "$vm_fqdn"' vm_fqdn
	;;
 esac
rule $rule "$@"