diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2019-11-16 13:05:27 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-11-16 13:05:27 -0700 |
commit | dd440d083e102088422fb0b32bfa1a9c75f1f7ff (patch) | |
tree | a8f1e04ff158da3a52e6097b3d0c538ee106759b /.bashrc | |
parent | 1c42aa36d6616395ef4948818fafa307109318cd (diff) | |
download | dotfiles-dd440d083e102088422fb0b32bfa1a9c75f1f7ff.tar.gz |
fix the echo
Diffstat (limited to '.bashrc')
-rw-r--r-- | .bashrc | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -233,7 +233,10 @@ kill-remote-gpg () { ssh -O exit "$1" } -# build debs from a Linux kernel source tree *without* calling `make clean` +# build debs from a Linux kernel source tree *without* calling `make clean`. +# +# The -dbg deb takes some time to build. To get rid of it when it's +# not needed: scripts/config --disable DEBUG_INFO bindeb-pkg () { ver="$(make kernelversion)" date="$(date +%Y%m%d+%H%M)" @@ -243,7 +246,7 @@ bindeb-pkg () { KDEB_PKGVERSION=$ver-$date \ "$@" echo "sudo apt-get install \ -../{linux-image,linux-headers,linux-libc-dev}-$ver-spw_$ver-${date}_$arch.deb" +../linux-{image,headers}-$ver-spw_$ver-${date}_$arch.deb" } # --- host-specific aliases/functions |