From 54730fb72e92ad9366c490c96a4748e4aa6bf220 Mon Sep 17 00:00:00 2001
From: Michael Vetter <jubalh@iodoru.org>
Date: Wed, 28 Mar 2018 13:50:17 +0200
Subject: [PATCH] Check for DESTDIR variable in install script

In case someone (distribution packager) wants to set the path himself
lets check for the DESTDIR variable. If none is set do the same as
before and install depending on UID.
---
 Install | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Install b/Install
index 9e6056f..b14f5c4 100755
--- a/Install
+++ b/Install
@@ -4,7 +4,9 @@ ROOT_UID=0
 DEST_DIR=
 
 # Destination directory
-if [ "$UID" -eq "$ROOT_UID" ]; then
+if [ -n ${DESTDIR} ]; then
+  DEST_DIR="${DESTDIR}"
+elif [ "$UID" -eq "$ROOT_UID" ]; then
   DEST_DIR="/usr/share/themes"
 else
   DEST_DIR="$HOME/.themes"