Add rebuild function to rebuild PHP extensions

alcaeus · alcaeus · commit d25cbb04dd20 · 2019-10-29T10:34:02.000+01:00
diff --git a/home/.functions b/home/.functions
@@ -163,3 +163,10 @@ function usephp () {
 function resolve () {
 	alias | grep "alias $1="
 }
+
+# `rebuild` to completely rebuild the MongoDB PHP extension
+function rebuild () {
+    phpize > /dev/null && \
+    ./configure --enable-mongodb-developer-flags > /dev/null && \
+    make clean && make all -j20 > /dev/null && make install
+}
