Re: Backed up kernels

2018-11-21 Thread Jean Delvare
Hi Masahiro, On Wed, 21 Nov 2018 15:59:49 +0900, Masahiro Yamada wrote: > On Tue, Nov 20, 2018 at 10:40 PM Jean Delvare wrote: > > Therefore I am asking, can we change "make install" so that it does NOT > > create a backup copy of an existing kernel? > > I think your suggestion makes sense, >

Re: Backed up kernels

2018-11-20 Thread Masahiro Yamada
Hi Jean, On Tue, Nov 20, 2018 at 10:40 PM Jean Delvare wrote: > > Hi Masahiro, Michal, > > When I run "make install", if a kernel by the same version number + > flavor string already exists, a backup is created with ".old" appended. > Over time, this adds many entries to my boot menu, makes some

Backed up kernels

2018-11-20 Thread Jean Delvare
Hi Masahiro, Michal, When I run "make install", if a kernel by the same version number + flavor string already exists, a backup is created with ".old" appended. Over time, this adds many entries to my boot menu, makes some package updates take much longer (e.g. when all initrds must be regenerated