linuxkit/scripts/rt-patches-rename.sh
Rolf Neugebauer bc35b3c1c9 scripts: Rename the script to rename the rt patches
Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
2018-03-15 11:22:10 +00:00

23 lines
448 B
Bash
Executable File

#!/bin/bash
# This can help get patches prefixed by the term of number.
#
# Just please list all patches in the file "series" orderly, and then run this
# script directly.
#
# $ cat series
# $ xxxx.patch
# $ yyyy.patch
# $ zzzz.patch
# $ ./prefix-with-number.sh
# $ ls -l
# 0001-xxxx.patch
# 0002-yyyy.patch
# 0003-zzzz.patch
#
i=0000
for line in `sed -e "s/#.*//g" series`; do
i=$(expr $i + 1)
a=$((10000+$i))
mv $line ${a:1}-$line
done;