blob: b3211e1e55f5e4434740defff9b97c701df73e60 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/sh
NUMBER=$1
while [ `expr length $NUMBER` -lt 4 ]; do
NUMBER=0$NUMBER
done
PROJECT_DIR=`cd ../.. ; pwd`
SOURCE_DIR=$PROJECT_DIR/pki
TARGET_DIR=$PROJECT_DIR/shared
cd $SOURCE_DIR
git format-patch -M -C --patience --full-index -1
SOURCE=`ls 0001-*.patch`
NAME=`echo $SOURCE | sed 's/0001-\(.*\)\.patch/\1/'`
TARGET=pki-$USER-$NUMBER-$NAME.patch
echo $TARGET
mv $SOURCE_DIR/$SOURCE $TARGET_DIR/$TARGET
|
