| View previous topic :: View next topic |
| Author |
Message |
PrunJuice
n00b
Joined: 25 Nov 2017
Posts: 14
|
 Posted: Tue Nov 22, 2022 11:36 pm Post subject: Genkernel not repsecting DEFAULT_KERNEL_CONFIG |
 |
|
According to the documentation the DEFAULT_KERNEL_CONFIG option should set the default kernel config overriding /usr/share/genkernel/arch/<arch>/generated-config however after deleting my saved config in /etc/kernels/ and setting the default to /etc/kernels/base-config.conf genkernel was still using the generated-config file.
To be sure the generated-config wasn't based off of my supplied config I diffed them and they are extremely different kernel configs. forcing the config with --kernel-config does still work.
| Code: | # from my /etc/genkernel.conf
DEFAULT_KERNEL_CONFIG="/etc/kernels/base-config.conf"
|
Am I missing something here?
Aside: In general the config file management from genkernel seems messy, Very weird that by default there is no option to force builds to be based off of a fixed config that is then oldconfig'd up to current kernel version. And genereated-config is in fact regenerated on each kernel build, something that is not mentioned in the wiki article. So replacing generated-config to act as the base is not an option. Also defaulting first to the saved kernel config seems like another potential pitfall, since it means that updating a base config would be ignored after a second build of any version of the kernel. Saving the configs per version is a great feature but defaulting to them on rebuild not so much. Surely the only reason to rebuild the kernel in the first place would be to update the config. Anyway rant over. |
|
| Back to top |
|
 |
grknight
Retired Dev
Joined: 20 Feb 2015
Posts: 1688
|
|
| Back to top |
|
|
PrunJuice
n00b
Joined: 25 Nov 2017
Posts: 14
|
| Posted: Wed Nov 23, 2022 11:18 pm Post subject: |
|
|
This is going to sound stupid but how do I file a bug report?
 |
|
| Back to top |
|
|
Juippisi
Developer
Joined: 30 Sep 2005
Posts: 727
Location: /home
|
| Posted: Thu Nov 24, 2022 7:19 am Post subject: |
|
|
| PrunJuice wrote: | This is going to sound stupid but how do I file a bug report?
:oops: |
Go: https://bugs.gentoo.org/
make an account, press the big "file a bug" button or press "New" link from the upper menu.
Don't worry, we all started sometime too ;) |
|
| Back to top |
|
|
|
Other Things Gentoo
