#!/bin/bash
# This script is potentially useless.
deb="linux-image-unsigned-5.0.5-050005-generic_5.0.5-050005.201903271212_amd64.deb"
name="vmlinuz-5.0.5-050005-generic"
wget "https://kernel.ubuntu.com/~kernel-ppa/mainline/v5.0.5/$deb"
ar -x $deb data.tar.xz
rm $deb
tar -xOvf data.tar.xz ./boot/$name --wildcards > $name
rm data.tar.xz
