comparison 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
comparison
equal deleted inserted replaced
0:a84c32f131df 4:c5749e43b1d7
1 #!/bin/sh -e
2 ## 07_fix_share.dpatch by Martin Michlmayr <tbm@cyrius.com>
3 ##
4 ## All lines beginning with `## DP:' are a description of the patch.
5 ## DP: use correct dir for share, Bug#327797
6
7 --- bins-1.1.29.orig/install.sh
8 +++ bins-1.1.29/install.sh
9 @@ -24,8 +24,9 @@
10 GLOBAL_RC="$RC"
11
12 DESTDIR=`echo "$DESTDIR"|sed 's%/$%%'`
13 -PREFIX=$DESTDIR/`echo "$PREFIX"|sed 's%^/%%'`
14 PREFIX=`echo "$PREFIX"|sed 's%/$%%'`
15 +GLOBAL_SHARE="$PREFIX/share"
16 +PREFIX=$DESTDIR/`echo "$PREFIX"|sed 's%^/%%'`
17 ETC=$DESTDIR/`echo "$ETC"|sed 's%^/%%'`
18 ETC=`echo "$ETC"|sed 's%/$%%'`
19 RC=$DESTDIR/`echo "$RC"|sed 's%^/%%'`
20 @@ -227,7 +228,7 @@
21 do
22 echo -n " $FILE"
23 ed "$FILE" <<EoF 2>/dev/null
24 -1,\$s%/usr/local/share%$SHARE%g
25 +1,\$s%/usr/local/share%$GLOBAL_SHARE%g
26 1,\$s%/etc/bins%$GLOBAL_RC%g
27 wq
28 EoF