You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When checking if there is a more recent version of harmony-model-checker, it relies on checking if a cache file in a temporary directory exists. However, on the ugclinux machines, users may not have enough privilege to read that directory.
[Errno 13] Permission denied: '/tmp/harmony_model_checker_version_cache'
Traceback (most recent call last):
File "/home/ay339/.local/lib/python3.8/site-packages/harmony_model_checker/util/self_check_is_outdated.py", line 88, in check_outdated
cache_file.write_text(
File "/usr/lib/python3.8/pathlib.py", line 1255, in write_text
with self.open(mode='w', encoding=encoding, errors=errors) as f:
File "/usr/lib/python3.8/pathlib.py", line 1222, in open
return io.open(self, mode, buffering, encoding, errors, newline,
File "/usr/lib/python3.8/pathlib.py", line 1078, in _opener
return self._accessor.open(self, flags, mode)
The text was updated successfully, but these errors were encountered:
When checking if there is a more recent version of
harmony-model-checker
, it relies on checking if a cache file in a temporary directory exists. However, on the ugclinux machines, users may not have enough privilege to read that directory.The text was updated successfully, but these errors were encountered: