[Verifpal] Snap permissions

Friedrich Wiemer 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
>following
>> error:
>>
>>> % /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,
>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.)
>>
>> Best,
>> Friedrich
>>
>> --
>> Dr. Friedrich Wiemer,
>> Research Assistant
>>
>> Symmetric Cryptography
>> Horst Goertz Institute for IT-Security,
>> Ruhr-University Bochum,
>>
>> orcid.org/0000-0003-2998-6777
>>
>> _______________________________________________
>> Verifpal mailing list
>> Verifpal at lists.symbolic.software
>> https://lists.symbolic.software/mailman/listinfo/verifpal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200302/ec331a1f/attachment.htm>


More information about the Verifpal mailing list