1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#! /bin/bash
set -e
if [ -z "$1" -a -z "$2" ] ; then
echo "usage: sonameify oldsoname newsoname" >&2
exit 0
fi
sed s/$1/$2/g libgecode$1.install > libgecode$2.install
rm libgecode$1.install
sed s/$1/$2/g libgecodegist$1.install > libgecodegist$2.install
rm libgecodegist$1.install
sed s/$1/$2/g libgecodeflatzinc$1.install > libgecodeflatzinc$2.install
rm libgecodeflatzinc$1.install
sed s/$1/$2/g libgecode$1.lintian-overrides > libgecode$2.lintian-overrides
rm libgecode$1.lintian-overrides
sed -i s/libgecode$1/libgecode$2/ control
sed -i s/libgecodegist$1/libgecodegist$2/ control
sed -i s/libgecodeflatzinc$1/libgecodeflatzinc$2/ control
|
