On Thu 2021-02-11 11:08:12, Timur Tabi wrote: > > > On 2/11/21 6:31 AM, Pavel Machek wrote: > > Can we make this something shorter? Clearly you don't want people > > placing this in their grub config, so they'll be most likely typing > > this a lot... > > > > debug_pointers or debug_ptrs would be better. > > dbg_unhash_ptrs? "debug_ptrs" is too vague IMHO, and I want to keep the > word "hash" somewhere there to indicate exactly what's happening. I understand that the long name is painful. But I would prefer to avoid another bike shedding over it. There was some pushback against this feature in general. It should be used deliberately and people must be aware of the consequences. This is why it is only boot option and why it prints such a huge warning. The long clear name helps as well. I propose to keep the name as is for now. We could always introduce an alias later when there is a wide preference and consensus. Best Regards, Petr
