From f651a5343ffc7dd7f08c0c44bee99c6efa4013f2 Mon Sep 17 00:00:00 2001
From: Miraty <miraty@antopie.org>
Date: Mon, 9 May 2022 02:39:53 +0200
Subject: [PATCH] Update Debian's PHP from 7.4 to 8.1

---
 mkosi.extra/etc/php/{7.4 => 8.1}/fpm/.gitkeep | 0
 mkosi.postinst                                | 8 ++++----
 mkosi.prepare                                 | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)
 rename mkosi.extra/etc/php/{7.4 => 8.1}/fpm/.gitkeep (100%)

diff --git a/mkosi.extra/etc/php/7.4/fpm/.gitkeep b/mkosi.extra/etc/php/8.1/fpm/.gitkeep
similarity index 100%
rename from mkosi.extra/etc/php/7.4/fpm/.gitkeep
rename to mkosi.extra/etc/php/8.1/fpm/.gitkeep
diff --git a/mkosi.postinst b/mkosi.postinst
index 0ebadd0..f097d40 100755
--- a/mkosi.postinst
+++ b/mkosi.postinst
@@ -56,11 +56,11 @@ sudo -u knot knotc conf-import /etc/knot/knot.conf
 export PHP_INI=/etc/php/php.ini
 
 if [[ $ID = "debian" ]]; then
-	rm /etc/php/7.4/fpm/php-fpm.conf
-	ln -s /etc/php/php-fpm.conf /etc/php/7.4/fpm/php-fpm.conf
-	ln -s /etc/php/php-fpm.d/ /etc/php/7.4/fpm/pool.d
+	rm /etc/php/8.1/fpm/php-fpm.conf
+	ln -s /etc/php/php-fpm.conf /etc/php/8.1/fpm/php-fpm.conf
+	ln -s /etc/php/php-fpm.d/ /etc/php/8.1/fpm/pool.d
 
-	export PHP_INI=/etc/php/7.4/fpm/php.ini
+	export PHP_INI=/etc/php/8.1/fpm/php.ini
 fi
 
 # Configure PHP-FPM properly
diff --git a/mkosi.prepare b/mkosi.prepare
index 9eed282..6d9f4e0 100755
--- a/mkosi.prepare
+++ b/mkosi.prepare
@@ -6,8 +6,8 @@ rm -r /etc/nginx/*
 rm -r /etc/ssh/*
 rm /etc/tor/torrc
 if [[ $ID = "debian" ]]; then
-	rm -r /etc/php/7.4/fpm/pool.d
-	rm /usr/lib/tmpfiles.d/php7.4-fpm.conf
+	rm -r /etc/php/8.1/fpm/pool.d
+	rm /usr/lib/tmpfiles.d/php8.1-fpm.conf
 fi
 if [[ $ID = "arch" ]]; then
 	rm /etc/php/php-fpm.d/*