scripts/patch-insert.sh


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