From 1b6ae27ee6b1ce312d6ea1e5ad8010783ac9daf3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Dudr?= <vladimir@tango-dj.cz>
Date: Fri, 28 Oct 2022 16:22:33 +0200
Subject: [PATCH] php: launcher

---
 bin/executable_php-private | 5 +++++
 bin/symlink_php72          | 1 +
 2 files changed, 6 insertions(+)
 create mode 100644 bin/executable_php-private
 create mode 100644 bin/symlink_php72

diff --git a/bin/executable_php-private b/bin/executable_php-private
new file mode 100644
index 0000000..2d7157f
--- /dev/null
+++ b/bin/executable_php-private
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+php="$(basename "$0")"
+
+exec "/usr/bin/$php" -n -c "$HOME/.config/php/${php##php}/php.ini" "$@"
diff --git a/bin/symlink_php72 b/bin/symlink_php72
new file mode 100644
index 0000000..bce6b64
--- /dev/null
+++ b/bin/symlink_php72
@@ -0,0 +1 @@
+php-private