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