bug#30413: file exists and is +x but cannot be executed

[Ludovic Courtès]

Hi,

Marco van Hulten <ma...@hulten.org> skribis:

> user2@graviton ~$ lpr
> lpr: No such file or directory
> user2@graviton ~$ which lpr
> /home/user2/.guix-profile/bin/lpr

Could it be that /gnu/store is mounted as no-exec, or something along
these lines?  What does the ‘mount’ command show?

Thanks,
Ludo’.