いちいち探すのが面倒だったので作った．

ツールの説明

コマンドとしては，listとfetchの2つがある．

getkernel list # grepと合わせて使うとよい

必要なファイルをfetchしてくる．

getkernel fetch v5.8.7* # versionを指定して必要なパッケージを引っ張ってくる
sudo dpkg -i *.deb # *.debファイルをインストール

上記のように，バージョンを指定して使う．

このblogの方のツールもあるが，メンテされていないようだった（プルリク作ったけどお返事がない）のでほしい機能を追加して作った〜

TODO