# HG changeset patch
# User Sascha Wilde <wilde@intevation.de>
# Date 1404322311 -7200
# Node ID ce3e33e66a177c8a635464cec2808e54a5c64f25
# Parent  d280e2d39d5a2e9b8c635b3220db7b79583c5bb2
Fixed cert deinstallation for prefix-paths containing space.

diff -r d280e2d39d5a -r ce3e33e66a17 packaging/linux-installer.inc.in
--- a/packaging/linux-installer.inc.in	Wed Jul 02 19:30:03 2014 +0200
+++ b/packaging/linux-installer.inc.in	Wed Jul 02 19:31:51 2014 +0200
@@ -180,7 +180,7 @@
   
   if [ "$certlist" ] ; then
       echo "Using certificate list '$certlist'."
-      if [ -x $cinst ] ; then
+      if [ -x "$cinst" ] ; then
           "$cinst" "list=$certlist" "choices=uninstall"
       else
         echo >&2 "WARNING: can't execute $cinst for certificate deinstallation."