blob: dca98adf35c33b6f64bd781bf9694e99d240af0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/bin/sh
if [ $# != 1 ]; then
echo "usage: patch-insert.sh <number>"
exit 1
fi
NUMBER=$1
cd ../../shared
for filename in `ls -r pki-$USER-*.patch`;do
oldnumber=`echo $filename | sed 's/^[^-]*-[^-]*-\([^-]*\)-.*/\1/'`
if [ $oldnumber -lt $NUMBER ]; then
exit
fi
newnumber=`expr $oldnumber + 1`
while [ `expr length $newnumber` -lt 4 ]; do
newnumber=0$newnumber
done
newfilename=`echo $filename | sed "s/^\([^-]*-[^-]*\)-$oldnumber-/\1-$newnumber-/"`
echo Renaming patch $oldnumber to $newnumber.
mv $filename $newfilename
done
|