#!/bin/sh if [ "$1" = "${1#3}" ]; then dir=v2.6 else dir=v3.0 fi wget -q -O - http://www.kernel.org/pub/linux/kernel/$dir/snapshots/patch-$1.id