[Verifpal] Snap permissions

Nadim Kobeissi nadim at symbolic.software
Tue Mar 3 20:31:30 CET 2020


You’re welcome, and thanks for letting us know!

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On 3 Mar 2020, at 8:30 PM, Friedrich Wiemer <friedrich.wiemer at rub.de> wrote:
> 
> Hi,
> 
> works for me now, thanks!
> 
> Best,
> Friedrich
> 
> On Mon, Mar 02, 2020 at 10:38:21PM +0100, Nadim Kobeissi wrote:
>> Hello again everyone,
>> 
>> The issue has been resolved. If you run `snap refresh`, you should receive an
>> updated Verifpal build with a Snap sandbox configuration that allows it to read
>> Verifpal models so long as they reside within your user's home directory. That
>> means that if you install Verifpal via Snap, you won't be able to use it to
>> analyze models residing outside your home directory (such as, for example, on a
>> USB thumbdrive or, for some odd reason, within a folder like /usr or
>> something.)
>> 
>> I hope this is enough to make Verifpal via Snap work for you!
>> 
>> Nadim Kobeissi
>> Symbolic Software • https://symbolic.software
>> Sent from office
>> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Message signed with OpenPGP
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200303/369e98c5/attachment.sig>


More information about the Verifpal mailing list