Fix owner for php install dir

glensc · glensc · commit 6f5ecc931c16 · 2025-01-20T23:43:41.000+02:00
diff --git a/install-extensions.sh b/install-extensions.sh
@@ -22,6 +22,8 @@ install_xhprof() {
     has_extension "$ext" && return 0
     # https://github.com/shivammathur/setup-php/issues/905
     sudo rm -rf /tmp/pear # shivammathur's leftovers...
+    # Allow installing to /usr/local/php
+    sudo chown -R "$(id -un):" /usr/local/php/
     pecl install "$ext-$version"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -22,6 +22,8 @@ install_xhprof() {`
`22`	`22`	`has_extension "$ext" && return 0`
`23`	`23`	`# https://github.com/shivammathur/setup-php/issues/905`
`24`	`24`	`sudo rm -rf /tmp/pear # shivammathur's leftovers...`
	`25`	`+ # Allow installing to /usr/local/php`
	`26`	`+ sudo chown -R "$(id -un):" /usr/local/php/`
`25`	`27`	`pecl install "$ext-$version"`
`26`	`28`	`}`
`27`	`29`