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

2018-02-15 Thread Andreas Enge
Close the bug as suggested by the submitter. Andreas PS: Just sending a message to bugnumber-d...@debbugs.gnu.org does the job, and anybody can do it.

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

2018-02-15 Thread Marco van Hulten
Ludovic— Je 14 feb 14:45 skribis Ludovic: > Marco van Hulten 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?

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

2018-02-14 Thread Ludovic Courtès
Hi, Marco van Hulten 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’.

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

2018-02-10 Thread Marco van Hulten
Hello— I had cups installed as root and another user. I could use lpr. Now I tried to install it under user2 (to have the lpr binary available, among other things), but I cannot execute `lpr`: user2@graviton ~$ guix package -i cups The following package will be upgraded: cups 2.2.4 → 2.2.4