Hartmut Goebel <h.goe...@crazy-compilers.com> writes: > 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?
I updated just the other day, and my current version of bash allows the command you wrote above. Here is my version: GNU bash, version 4.4.12(1)-release (x86_64-unknown-linux-gnu) What version are you using? FWIW, the path in my store to the version of bash that I'm using is: /gnu/store/b7y66db86k57vbb03nr4bfn9svmks4gf-bash-4.4.12/bin/bash -- Chris
signature.asc
Description: PGP signature
