diff 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 diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/debian/patches/07_fix_share	Wed Oct 15 23:35:35 2008 +0200
@@ -0,0 +1,28 @@
+#!/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