From aa3baff3d98f8df8cc1632913ac26088a8e782ee Mon Sep 17 00:00:00 2001
From: thomas <kreitler@molgen.mpg.de>
Date: Mon, 14 Aug 2023 11:25:20 +0200
Subject: [PATCH] install.sh: make gpu-policy executable

Intended to fix #335
---
 install.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/install.sh b/install.sh
index 669d663..4b8f214 100755
--- a/install.sh
+++ b/install.sh
@@ -113,6 +113,12 @@ function postinstall()
     update-desktop-database "$DESTDIR$desktopdir"
     register_installed_file "$DESTDIR$desktopdir/mimeinfo.cache"
 
+    if [ -e "$DESTDIR$sysconfdir/mxq/gpu-policy" ]; then
+      chmod -c +x "$DESTDIR$sysconfdir/mxq/gpu-policy"
+    else
+      echo "Note: "$DESTDIR$sysconfdir/mxq/gpu-policy" does not exist, fix $0 ."
+    fi
+
     (cd "$DESTDIR$usrlocal_prefix/package/admin" && ./makebin)
 
     pkg="mxtools-0.0-0";