Re: bash completions in GRUB

2019-01-15 Thread Daniel Kiper
On Thu, Jan 10, 2019 at 11:37:48AM -0600, Bruce Dubbs wrote: > It appears that GRUB is not consistent with other applications when > installing the bash completions script. I suggest the following patch: > > diff --git a/util/bash-completion.d/Makefile.am > b/util/bash-completion.d/Makefile.am >

Re: bash completions in GRUB

2019-01-10 Thread Colin Watson
On Thu, Jan 10, 2019 at 11:37:48AM -0600, Bruce Dubbs wrote: > It appears that GRUB is not consistent with other applications when > installing the bash completions script. I suggest the following patch: I don't think this is really right. /usr/share/bash-completion/completions has a somewhat

bash completions in GRUB

2019-01-10 Thread Bruce Dubbs
It appears that GRUB is not consistent with other applications when installing the bash completions script. I suggest the following patch: diff --git a/util/bash-completion.d/Makefile.am b/util/bash-completion.d/Makefile.am index 136287cf1..a15bef9c9 100644 ---