Updated patch scripts.

1 files changed, 29 insertions, 0 deletions

diff --git a/scripts/patch-insert.sh b/scripts/patch-insert.sh
new file mode 100755
index 0000000..dca98ad
--- /dev/null
+++ b/scripts/patch-insert.sh
@@ -0,0 +1,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