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

Previous Next

Package: guix;

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

Date: Thu, 6 Feb 2025 21:58:02 UTC

Severity: normal

Done: Efraim Flashner <efraim <at> flashner.co.il>

To reply to this bug, email your comments to 76105 AT debbugs.gnu.org.
There is no need to reopen the bug first.

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

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-guix <at> gnu.org:
bug#76105; Package guix. (Thu, 06 Feb 2025 21:58:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Felix Lechner <felix.lechner <at> lease-up.com>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Thu, 06 Feb 2025 21:58:02 GMT) Full text and rfc822 format available.

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




Information forwarded to bug-guix <at> gnu.org:
bug#76105; Package guix. (Fri, 07 Feb 2025 15:14:02 GMT) Full text and rfc822 format available.

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




Information forwarded to bug-guix <at> gnu.org:
bug#76105; Package guix. (Fri, 07 Feb 2025 18:00:02 GMT) Full text and rfc822 format available.

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




Reply sent to Efraim Flashner <efraim <at> flashner.co.il>:
You have taken responsibility. (Tue, 11 Feb 2025 15:19:02 GMT) Full text and rfc822 format available.

Notification sent to Felix Lechner <felix.lechner <at> lease-up.com>:
bug acknowledged by developer. (Tue, 11 Feb 2025 15:19:02 GMT) Full text and rfc822 format available.

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)]

This bug report was last modified 20 days ago.

Previous Next


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