Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs.to-html throwing permission denied (Read-only file system) exception #5162

Open
aryairani opened this issue Jun 30, 2024 · 0 comments
Open
Labels

Comments

@aryairani
Copy link
Contributor

Describe and demonstrate the bug

% rm -rf /tmp/base
% ucm
@unison/base/main> docs.to-html : /tmp/base
Encountered exception:
/doc.html: withFile: permission denied (Read-only file system)
@unison/base/main> 

Not out of space:

% df -h /tmp
Filesystem      Size    Used   Avail
/dev/disk3s1   460Gi   405Gi    18Gi

Not so read-only as to prevent writing the first 217 docs:

% du -chs /tmp/base
700K    /tmp/base
700K    total
% find /tmp/base | wc -l
     217

blocking re-testing #2608

Environment (please complete the following information):
v0.5.23, macOS 14.5 (23F79)

@aryairani aryairani added the bug label Jun 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant