webID.cfg binary fix

2 files changed, 8 insertions, 10 deletions

diff --git a/.SRCINFO b/.SRCINFO
index de19f77d3b04..a7524aed6a2e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,7 @@
-# Generated by mksrcinfo v8
-# Mon Oct 16 16:12:39 UTC 2017
 pkgbase = idp-ide
 	pkgdesc = IDP Knowledge Base System editor
 	pkgver = 1.1.1
-	pkgrel = 2
+	pkgrel = 3
 	url = http://dtai.cs.kuleuven.be/software/idp
 	arch = i686
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 464a6ef17632..62fae8b5be9b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,7 +5,7 @@ _minor_version=1
 
 pkgname=idp-ide
 pkgver=${_major_version}.${_minor_version}
-pkgrel=2
+pkgrel=3
 pkgdesc="IDP Knowledge Base System editor"
 arch=('i686' 'x86_64')
 url="http://dtai.cs.kuleuven.be/software/idp"
@@ -16,20 +16,20 @@ _dirname="idp-ide-${_major_version}.${_minor_version}-Linux"
 
 source=("https://downloads.sourceforge.net/project/idp/idp-ide/$_dirname.tar.gz")
 
-
 md5sums=('cba00affb753128d613099c1a93b074c')
 
 package() {
-  cd ${srcdir}
+  cd "${srcdir}"
   rm "$_dirname.tar.gz"
 
   # put files in /usr/share/idp-ide
-  targetDir=${pkgdir}/usr/share/idp-ide
-  mkdir -p ${targetDir}
-  cp -dR ./* ${targetDir}/
+  targetDir="${pkgdir}/usr/share/idp-ide"
+  mkdir -p "${targetDir}"
+  cp -dR ./* "${targetDir}/"
+  sed -r -i -e 's,/usr/bin/idp,/usr/local/bin/idp,g' "${targetDir}/webID.cfg"
 
   # create executable (with fix for log files)
   mkdir -p "${pkgdir}/usr/bin"
-  echo "sh -c 'mkdir -p $XDG_CACHE_HOME/idp-ide/log && cd $XDG_CACHE_HOME/idp-ide && /usr/share/idp-ide/webID'" > "${pkgdir}/usr/bin/idp-ide"
+  echo "sh -c 'mkdir -p $XDG_CACHE_HOME/idp-ide/log && cd $XDG_CACHE_HOME/idp-ide && /usr/share/idp-ide/webID'" >"${pkgdir}/usr/bin/idp-ide"
   chmod +x "${pkgdir}/usr/bin/idp-ide"
 }