fixed logging and updated installation location

2 files changed, 11 insertions, 16 deletions

diff --git a/.SRCINFO b/.SRCINFO
index fa01f4e48728..de19f77d3b04 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Wed Oct  4 14:06:00 UTC 2017
+# Mon Oct 16 16:12:39 UTC 2017
 pkgbase = idp-ide
 	pkgdesc = IDP Knowledge Base System editor
 	pkgver = 1.1.1
-	pkgrel = 1
+	pkgrel = 2
 	url = http://dtai.cs.kuleuven.be/software/idp
 	arch = i686
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 96313a50801e..464a6ef17632 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,36 +5,31 @@ _minor_version=1
 
 pkgname=idp-ide
 pkgver=${_major_version}.${_minor_version}
-pkgrel=1
+pkgrel=2
 pkgdesc="IDP Knowledge Base System editor"
 arch=('i686' 'x86_64')
 url="http://dtai.cs.kuleuven.be/software/idp"
 license=('LGPL3')
 depends=('idp')
 
+_dirname="idp-ide-${_major_version}.${_minor_version}-Linux"
 
-source=("https://downloads.sourceforge.net/project/idp/idp-ide/idp-ide-${_major_version}.${_minor_version}-Linux.tar.gz")
+source=("https://downloads.sourceforge.net/project/idp/idp-ide/$_dirname.tar.gz")
 
 
 md5sums=('cba00affb753128d613099c1a93b074c')
 
 package() {
   cd ${srcdir}
+  rm "$_dirname.tar.gz"
 
-  rm idp-ide-${_major_version}.${_minor_version}-Linux.tar.gz
-
-  targetDir=${pkgdir}/opt/idp-ide
-
+  # put files in /usr/share/idp-ide
+  targetDir=${pkgdir}/usr/share/idp-ide
   mkdir -p ${targetDir}
-
   cp -dR ./* ${targetDir}/
-  mkdir -p "${pkgdir}/usr/bin"
 
-  #ln -s "/opt/idp-ide/webID" "${pkgdir}/usr/bin/idp-ide"
-  echo 'sh -c "cd /opt/idp-ide && ./webID"' > "${pkgdir}/usr/bin/idp-ide"
+  # 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"
   chmod +x "${pkgdir}/usr/bin/idp-ide"
-
-  touch "${targetDir}/log/access.log"
-  touch "${targetDir}/log/error.log"
-  chmod -R 777 "${targetDir}/log"
 }