Updated to new version

2 files changed, 22 insertions, 15 deletions

diff --git a/.SRCINFO b/.SRCINFO
index a7524aed6a2e..3c97b382889c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,14 @@
 pkgbase = idp-ide
 	pkgdesc = IDP Knowledge Base System editor
-	pkgver = 1.1.1
-	pkgrel = 3
-	url = http://dtai.cs.kuleuven.be/software/idp
+	pkgver = 2.0.1
+	pkgrel = 4
+	url = https://dtai.cs.kuleuven.be/software/idp/try
 	arch = i686
 	arch = x86_64
 	license = LGPL3
 	depends = idp
-	source = https://downloads.sourceforge.net/project/idp/idp-ide/idp-ide-1.1.1-Linux.tar.gz
-	md5sums = cba00affb753128d613099c1a93b074c
+	source = https://dtai.cs.kuleuven.be/krr/files/releases/idp-ide/latest/webID-2.0.1.tar.gz
+	md5sums = 328aafb41e0d796b08a84f7be7cb901e
 
 pkgname = idp-ide
 
diff --git a/PKGBUILD b/PKGBUILD
index 62fae8b5be9b..6ad465a803a3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,35 +1,42 @@
-# Maintainer: DenBrahe <denbrahe at hotmail dot com>
+# Maintainer: saltfactory <saltfactory at protonmail dot com>
 
-_major_version=1.1
+_major_version=2.0
 _minor_version=1
 
 pkgname=idp-ide
 pkgver=${_major_version}.${_minor_version}
-pkgrel=3
+pkgrel=4
 pkgdesc="IDP Knowledge Base System editor"
 arch=('i686' 'x86_64')
-url="http://dtai.cs.kuleuven.be/software/idp"
+url="https://dtai.cs.kuleuven.be/software/idp/try"
 license=('LGPL3')
 depends=('idp')
 
-_dirname="idp-ide-${_major_version}.${_minor_version}-Linux"
+_dirname="webID-${_major_version}.${_minor_version}"
 
-source=("https://downloads.sourceforge.net/project/idp/idp-ide/$_dirname.tar.gz")
-
-md5sums=('cba00affb753128d613099c1a93b074c')
+source=("https://dtai.cs.kuleuven.be/krr/files/releases/idp-ide/latest/webID-${_major_version}.${_minor_version}.tar.gz")
 
+md5sums=('328aafb41e0d796b08a84f7be7cb901e')
 package() {
   cd "${srcdir}"
   rm "$_dirname.tar.gz"
 
+  # set the workFolder configuration to "$(HOME)/Documents/idp-files"
+  # this way no sudo is needed
+  sed -i '/workFolder =/d' webID-${_major_version}.${_minor_version}/webID.cfg
+  sed -i '13i workFolder = "$(HOME)/Documents/idp-files"' webID-${_major_version}.${_minor_version}/webID.cfg
+
   # put files in /usr/share/idp-ide
   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"
+  sed -r -i -e 's,/usr/bin/idp,/usr/local/bin/idp,g' "${targetDir}/webID-${_major_version}.${_minor_version}/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 '/usr/share/idp-ide/webID-${_major_version}.${_minor_version}/webID'" >"${pkgdir}/usr/bin/idp-ide"
   chmod +x "${pkgdir}/usr/bin/idp-ide"
+
+
 }
+