[Verifpal] Snap permissions
friedrich.wiemer at rub.de
Mon Mar 2 21:48:23 CET 2020
What would be the correct permissions?
644 should actually be fine, as verifpal only needs tp read the model file, shouldn't it?
On March 2, 2020 9:41:58 PM GMT+01:00, ilmu <ilmu at rishi.is> wrote:
>Probably has to do with linux file permissions.
>-------- Original Message --------
>On 2 Mar 2020, 21:29, Friedrich Wiemer via Verifpal wrote:
>> Dear Nadim,
>> when trying to use verifpal from the snap distribution, I get
>>> % /snap/bin/verifpal verify auth.vp
>>> Verifpal [0.11.8](tel:0118) - 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,
>> read-/writing from a users home directory:
>> (However, I'm a total snap noob, so actually I have no idea whats
>> wrong here.)
>> Dr. Friedrich Wiemer,
>> Research Assistant
>> Symmetric Cryptography
>> Horst Goertz Institute for IT-Security,
>> Ruhr-University Bochum,
>> Verifpal mailing list
>> Verifpal at lists.symbolic.software
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Verifpal