I like this. Given that the option of splitting the source into separate
chunks and only downloading the bits you need seems to have been rejected,
this would provide a suitable alternative.
There are still rough edges though. It needs a patch-kernel script so that
patches can be distributed in the same way as they are at the moment.
Something like:
for a in `diffstat $patchfile | grep -v changed | cut -f2 -d\ ` ; do
[ -r linux/$a ] || [ -r linux/$a.gz ] && gunzip linux/$a
done
patch -p0 < $patchfile
for a in `diffstat $patchfile | grep -v changed | cut -f2 -d\ ` ; do
[ -r linux/$a ] && gzip linux/$a
done
---- ---- ----
David Woodhouse, Robinson College, CB3 9AN, England. (+44) 0976 658355
Dave@imladris.demon.co.uk http://dwmw2.robinson.cam.ac.uk
finger pgp@dwmw2.robinson.cam.ac.uk for PGP key.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu