-
Notifications
You must be signed in to change notification settings - Fork 20
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
ensure_datadir/2 fails for non-local installation of Ciao #50
Comments
Related code seems to be: ciao/core/library/persdb/datadir.pl Lines 64 to 67 in f6d7b15
ciao/builder/src/config_common.pl Lines 82 to 92 in f6d7b15
With Shouldn't persistence always fallback to something like |
Thank you @ony for the fantastic analysis of the problem and your proposed solution. Indeed Ciao needs a few user-writable directories for caching compilation and analysis data. Also commands like It will be awesome to finally fix those issues. I've seen that other systems (like |
Looks like
persdb/datadir
tries to use system path for data dir (probably relative tocore
/builder
bundles orCIAOROOT
folders).Can be reproduced with Nix packaged version (example for Flakes flavor):
nix run nixpkgs\#ciao
In NixOS packages installed at location that is perceived as read-only for normal users.
P.S. This at least affects
ciaopp
. See ciao-lang/ciaopp#2The text was updated successfully, but these errors were encountered: