[Verifpal] Snap permissions

Friedrich Wiemer friedrich.wiemer at rub.de
Mon Mar 2 21:29:04 CET 2020

Dear Nadim,

when trying to use verifpal from the snap distribution, I get following

> % /snap/bin/verifpal verify auth.vp
> Verifpal 0.11.8 - https://verifpal.com
>   Warning • Verifpal is experimental software.
>  Verifpal • Parsing model 'auth.vp'...
>  Verifpal! Error: open auth.vp: permission denied.

Due to snap's sandboxing, it seems to require special permissions, when
read-/writing from a users home directory:
> http://www.linuxandubuntu.com/home/snap-application-permissions

(However, I'm a total snap noob, so actually I have no idea whats going
wrong here.)


Dr. Friedrich Wiemer,
Research Assistant

Symmetric Cryptography
Horst Goertz Institute for IT-Security,
Ruhr-University Bochum,

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200302/0d9dbee3/attachment.sig>

More information about the Verifpal mailing list