diff options
author | VadeveSi | 2020-09-12 08:22:15 +0200 |
---|---|---|
committer | VadeveSi | 2020-09-12 08:22:15 +0200 |
commit | ed8ae6a1e6d931e044eec5a6bb19c600b20f229b (patch) | |
tree | 316eb1865407ad8cb595ad51f6deb6f905432014 | |
parent | 1a1afe754e1b15e6967c7dd04d9e287398106a79 (diff) | |
download | aur-ed8ae6a1e6d931e044eec5a6bb19c600b20f229b.tar.gz |
Fix bug where IDE would only open in specific folder
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 4 insertions, 4 deletions
@@ -1,7 +1,7 @@ pkgbase = idp-ide pkgdesc = IDP Knowledge Base System editor pkgver = 2.0.1 - pkgrel = 4 + pkgrel = 5 url = https://dtai.cs.kuleuven.be/software/idp/try arch = i686 arch = x86_64 @@ -5,7 +5,7 @@ _minor_version=1 pkgname=idp-ide pkgver=${_major_version}.${_minor_version} -pkgrel=4 +pkgrel=5 pkgdesc="IDP Knowledge Base System editor" arch=('i686' 'x86_64') url="https://dtai.cs.kuleuven.be/software/idp/try" @@ -32,9 +32,9 @@ package() { cp -dR ./* "${targetDir}/" 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) + # create executable mkdir -p "${pkgdir}/usr/bin" - echo "sh -c '/usr/share/idp-ide/webID-${_major_version}.${_minor_version}/webID'" >"${pkgdir}/usr/bin/idp-ide" + echo "sh -c 'cd /usr/share/idp-ide/webID-${_major_version}.${_minor_version} && /usr/share/idp-ide/webID-${_major_version}.${_minor_version}/webID'" >"${pkgdir}/usr/bin/idp-ide" chmod +x "${pkgdir}/usr/bin/idp-ide" |