On Thu, Jun 02, 2022 at 11:52:24PM +0900, Masahiro Yamada wrote:> > You said "useful for *my* flow",> so you can do whatever you think is useful in> ${HOME}/bin/${INSTALLKERNEL}, can't you?Thanks for the suggestion, that works for me!