add bindeb-pkg alias

1 files changed, 13 insertions, 0 deletions

diff --git a/.bashrc b/.bashrc
index 179052e5..8933d602 100644
--- a/.bashrc
+++ b/.bashrc
@@ -233,6 +233,19 @@ kill-remote-gpg () {
     ssh -O exit "$1"
 }
 
+# build debs from a Linux kernel source tree *without* calling `make clean`
+bindeb-pkg () {
+    ver="$(make kernelversion)"
+    date="$(date +%Y%m%d+%H%M)"
+    arch="$(dpkg --print-architecture)"
+    echo make -j$((2 * $(nproc))) bindeb-pkg \
+      LOCALVERSION=-spw \
+      KDEB_PKGVERSION=$ver-$date \
+      "$@"
+    echo "sudo apt-get install \
+../{linux-image,linux-headers,linux-libc-dev}-$ver-spw_$ver-${date}_$arch.deb"
+}
+
 # --- host-specific aliases/functions
 
 # ftp-master.debian.org