bugfix: use the default webi_install method for gprox

diff --git a/gprox/install.sh b/gprox/install.sh
index d78f519dadb25505fb3ee5042d6c6d48c4830e92..fdb7d420a9cdd858537d0999f790b258c3d3a2f7 100644 (file)
--- a/gprox/install.sh
+++ b/gprox/install.sh
@@ -18,15 +18,6 @@
     pkg_src_dir="$HOME/.local/opt/gprox-v$WEBI_VERSION"
     pkg_src="$pkg_src_cmd"
 
-    # pkg_install must be defined by every package
-    pkg_install() {
-        # ~/.local/opt/gprox-v0.99.9/bin
-        mkdir -p "$(dirname $pkg_src_cmd)"
-
-        # mv ./gprox-*/gprox ~/.local/opt/gprox-v0.99.9/bin/gprox
-        mv ./gprox-*/gprox "$pkg_src_cmd"
-    }
-
     # pkg_get_current_version is recommended, but (soon) not required
     pkg_get_current_version() {
         # 'gprox --version' has output in this format:
@@ -35,5 +26,4 @@
         #       0.99.9
         echo $(gprox --version 2> /dev/null | head -n 1 | cut -d ' ' -f 2)
     }
-
 }