view debian/patches/07_fix_share @ 4:c5749e43b1d7

Adding debian files (to original 1.1.29)
author Peter Gervai <grin@grin.hu>
date Wed, 15 Oct 2008 23:35:35 +0200
parents
children
line wrap: on
line source

#!/bin/sh -e
## 07_fix_share.dpatch by Martin Michlmayr <tbm@cyrius.com>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: use correct dir for share, Bug#327797

--- bins-1.1.29.orig/install.sh
+++ bins-1.1.29/install.sh
@@ -24,8 +24,9 @@
 GLOBAL_RC="$RC"
 
 DESTDIR=`echo "$DESTDIR"|sed 's%/$%%'`
-PREFIX=$DESTDIR/`echo "$PREFIX"|sed 's%^/%%'`
 PREFIX=`echo "$PREFIX"|sed 's%/$%%'`
+GLOBAL_SHARE="$PREFIX/share"
+PREFIX=$DESTDIR/`echo "$PREFIX"|sed 's%^/%%'`
 ETC=$DESTDIR/`echo "$ETC"|sed 's%^/%%'`
 ETC=`echo "$ETC"|sed 's%/$%%'`
 RC=$DESTDIR/`echo "$RC"|sed 's%^/%%'`
@@ -227,7 +228,7 @@
 do
   echo -n " $FILE"
   ed "$FILE" <<EoF 2>/dev/null
-1,\$s%/usr/local/share%$SHARE%g
+1,\$s%/usr/local/share%$GLOBAL_SHARE%g
 1,\$s%/etc/bins%$GLOBAL_RC%g
 wq
 EoF