18 lines
519 B
Bash
18 lines
519 B
Bash
#! /bin/sh
|
|
|
|
set -e
|
|
|
|
version="$1"
|
|
|
|
if [ -z "$version" ]; then
|
|
echo >&2 "Usage: $0 <version>"
|
|
exit 2
|
|
fi
|
|
|
|
name="patch-$version.patch"
|
|
dir="debian/patches/features/all/rt"
|
|
wget -O "$dir/$name.bz2" "http://www.kernel.org/pub/linux/kernel/projects/rt/patch-$version.patch.bz2"
|
|
wget -O "$dir/$name.bz2.sign" "http://www.kernel.org/pub/linux/kernel/projects/rt/patch-$version.patch.bz2.sign"
|
|
( cd "$dir" && gpg --verify "$name.bz2.sign" )
|
|
bzcat "$dir/$name.bz2" | filterdiff -x linux-2.6/localversion-rt > "$dir/$name"
|