bash: invalid option "no_empty_cmd_completion"

[Hartmut Goebel]

Hi guix,

since my last update, bash does not allow line-editing, etc. When
stating a bash it errors with:

    bash: shopt: no_empty_cmd_completion: invalid shell option name

But according to the manual, this is a valid option. When running "shopt
-s no_empty_cmd_completion" manually, I get the same error.

What's wrong here?

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | address@hidden               |
| www.crazy-compilers.com | compilers which you thought are impossible |