This repository has been archived by the owner on Jun 22, 2022. It is now read-only.

Invalid config file /home/dev/.config/cheribuild.json #2

Open

satnam6502 opened this issue Jun 17, 2019 · 0 comments

satnam6502 commented Jun 17, 2019

I tried to follow the instructions but during the build-scripts/build-cheri-sdk.sh step I get the message:

Submodule path 'nginx': checked out 'c56cb78eed678c08b01f1ee62ba7a0cd7b3024a2'
===== Building CHERI SDK =====
Could not load config file /home/dev/.config/cheribuild.json - [Errno 13] Permission denied: '/home/dev/.config/cheribuild.json'
Invalid config file /home/dev/.config/cheribuild.json. Continue? y/[N]

The text was updated successfully, but these errors were encountered:

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.