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

From: [email-masked] (Ludovic Courtès)
Date: Wed, 14 Feb 2018 14:45:41 +0100

Hi,

Marco van Hulten <[email-masked]> 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’.