]> gitweb.fluxo.info Git - trashman.git/commitdiff
Adds php7
authorSilvio Rhatto <rhatto@riseup.net>
Tue, 30 Apr 2019 18:05:23 +0000 (15:05 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Tue, 30 Apr 2019 18:05:23 +0000 (15:05 -0300)
share/trashman/php7/info [new file with mode: 0644]
share/trashman/php7/unix/linux/debian/apt.gpg [new file with mode: 0644]
share/trashman/php7/unix/linux/debian/install [new file with mode: 0755]

diff --git a/share/trashman/php7/info b/share/trashman/php7/info
new file mode 100644 (file)
index 0000000..e5fb340
--- /dev/null
@@ -0,0 +1 @@
+hypertext preprocessor version 7.x
diff --git a/share/trashman/php7/unix/linux/debian/apt.gpg b/share/trashman/php7/unix/linux/debian/apt.gpg
new file mode 100644 (file)
index 0000000..d244923
Binary files /dev/null and b/share/trashman/php7/unix/linux/debian/apt.gpg differ
diff --git a/share/trashman/php7/unix/linux/debian/install b/share/trashman/php7/unix/linux/debian/install
new file mode 100755 (executable)
index 0000000..0db691c
--- /dev/null
@@ -0,0 +1,21 @@
+#!/usr/bin/env sh
+#
+# Install recent PHP 7.x package
+#
+
+# Parameters
+SHARE="$1"
+VERSION="7.3"
+
+# Include basic functions
+. $SHARE/trashman/functions || exit 1
+
+# Requirements
+trashman_require wget lsb-release apt-transport-https ca-certificates 
+
+# Install
+#wget -O /etc/apt/trusted.gpg.d/php.gpg https://packages.sury.org/php/apt.gpg
+cp $SHARE/php7/unix/linux/debian /etc/apt/trusted.gpg.d/php.gpg
+echo "deb https://packages.sury.org/php/ `lsb_release -sc` main" | tee /etc/apt/sources.list.d/php$VERSION.list
+apt update
+apt install php$VERSION