GNU bug report logs - #76105
bash_completion.sh: line 10: shopt: progcomp: invalid shell option name

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 76105 in the body.
You can then email your comments to 76105 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Felix Lechner <felix.lechner <at> lease-up.com>
To: bug-guix <at> gnu.org
Subject: bash_completion.sh: line 10: shopt: progcomp: invalid shell option
 name
Date: Thu, 06 Feb 2025 13:57:25 -0800

Hi,

On a system updated on or about February 1, I saw this message and could
not log in:

   /run/current-system/profiles/etc/profile.d/bash_completion.sh: line
     10: shopt: progcomp: invalid shell option name.

Thanks for looking!

Kind regards,
Felix Lechner

Message #8 received at 76105 <at> debbugs.gnu.org (full text, mbox):

From: Dariqq <dariqq <at> posteo.net>
To: Felix Lechner <felix.lechner <at> lease-up.com>
Cc: 76105 <at> debbugs.gnu.org, Efraim Flashner <efraim <at> flashner.co.il>
Subject: Re: bug#76105: bash_completion.sh: line 10: shopt: progcomp: invalid
 shell option name
Date: Fri,  7 Feb 2025 15:12:32 +0000

Hi Felix,

Felix Lechner <felix.lechner <at> lease-up.com> writes:

> Hi,
>
> On a system updated on or about February 1, I saw this message and could
> not log in:
>
>    /run/current-system/profiles/etc/profile.d/bash_completion.sh: line
>      10: shopt: progcomp: invalid shell option name.
>
> Thanks for looking!
>
> Kind regards,
> Felix Lechner


I've seen this as well using greetd recently (which I think you use as 
well) but had no issues with logging in. I think I found the issue:

The error comes from the greeter user using bash-minimal, everything is 
fine when using the "normal" bash.

When greetd got updated in 55cead2c49e0740c1595fdc5ecce7d050c36e080 a 
phase got added to patch /bin/sh (pointing to the full bash) to 
bash-minimal.

I tested a variant of greetd that deletes this phase and replaced it in 
all my greetd-terminal-configuration and the warning went away.

(CCing Efraim as the commit author)

Hope this helps

Message #11 received at 76105 <at> debbugs.gnu.org (full text, mbox):

From: Felix Lechner <felix.lechner <at> lease-up.com>
To: Dariqq <dariqq <at> posteo.net>
Cc: 76105 <at> debbugs.gnu.org, Efraim Flashner <efraim <at> flashner.co.il>
Subject: Re: bug#76105: bash_completion.sh: line 10: shopt: progcomp:
 invalid shell option name
Date: Fri, 07 Feb 2025 09:59:36 -0800

Hi Dariqq

On Fri, Feb 07 2025, Dariqq wrote:

> I [...] had no issues with logging in.

Actually, neither did I.  It is more accurate to write that my
encrypted, FUSE-based home folder did not mount, which resulted in a
shell with the "endpoint disconnected."

> The error comes from the greeter user using bash-minimal, everything
> is fine when using the "normal" bash.

I also think that's it.  Thanks for your initiative!

Kind regards
Felix

Message #16 received at 76105-done <at> debbugs.gnu.org (full text, mbox):

From: Efraim Flashner <efraim <at> flashner.co.il>
To: Felix Lechner <felix.lechner <at> lease-up.com>
Cc: Dariqq <dariqq <at> posteo.net>, 76105-done <at> debbugs.gnu.org
Subject: Re: bug#76105: bash_completion.sh: line 10: shopt: progcomp: invalid
 shell option name
Date: Tue, 11 Feb 2025 17:17:51 +0200

[Message part 1 (text/plain, inline)]

On Fri, Feb 07, 2025 at 09:59:36AM -0800, Felix Lechner wrote:
> Hi Dariqq
> 
> On Fri, Feb 07 2025, Dariqq wrote:
> 
> > I [...] had no issues with logging in.
> 
> Actually, neither did I.  It is more accurate to write that my
> encrypted, FUSE-based home folder did not mount, which resulted in a
> shell with the "endpoint disconnected."
> 
> > The error comes from the greeter user using bash-minimal, everything
> > is fine when using the "normal" bash.
> 
> I also think that's it.  Thanks for your initiative!

Thank you both!

As it is possible to run Guix System without /bin/sh I ended up adding
bash as an input and testing both native and cross-builds to make sure
the correct bash was referred to.

-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.