[Verifpal] Snap permissions
friedrich.wiemer at rub.de
Tue Mar 3 20:30:47 CET 2020
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: 488 bytes
Desc: not available
More information about the Verifpal