[Verifpal] Snap permissions

Friedrich Wiemer friedrich.wiemer at rub.de
Tue Mar 3 20:30:47 CET 2020


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: 488 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200303/8e1b869b/attachment.sig>


More information about the Verifpal mailing list