Re: [isabelle] Permissions issue with document preparation

On 18/04/2019 13:27, Daniel Marshall wrote:
> I feel like this might be more of a Linux issue than an Isabelle one, but
> maybe someone can give me advice anyway.
> Recently when I try and carry out document preparation with Isabelle I get
> a permission-related error, as follows:
> $ ~/Isabelle2018/bin/isabelle document -d generated/document -o pdf -n
> document
> /tmp/isabelle-daniel/bash_script2399141179650865402: line 1: ./build:
> Permission denied
> Failed to build document in "/home/daniel/isabelle/generated/document"

I would say you merely need a "chmod +x" on your ./build script, without
the original document directory; an probably also clean the generated
directory before re-generating everything.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.