[Verifpal] Snap permissions
nadim at symbolic.software
Tue Mar 3 20:31:30 CET 2020
You’re welcome, and thanks for letting us know!
Symbolic Software • https://symbolic.software
> On 3 Mar 2020, at 8:30 PM, Friedrich Wiemer <friedrich.wiemer at rub.de> wrote:
> works for me now, thanks!
> 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
>> 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...
Size: 833 bytes
Desc: Message signed with OpenPGP
More information about the Verifpal