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
Currently the server manager assumes /usr/bin/remote-cartesi-machine is available, but the cartesi machine could have been installed somewhere else, like /usr/local.
Possible solutions
The server manager should not make hard-coded assumptions where the cartesi machine is installed, it should detect this by using environment variables such as PATH , CARTESI_IMAGES_PATH, or even some new environment variable like CARTESI_SDK_PATH in case necessary.
The text was updated successfully, but these errors were encountered:
edubart
changed the title
Make server manager find remote cartesi machine from PATH
Server manager should look for remote-cartesi-machine in PATHAug 22, 2023
Context
Currently the server manager assumes
/usr/bin/remote-cartesi-machine
is available, but the cartesi machine could have been installed somewhere else, like/usr/local
.Possible solutions
The server manager should not make hard-coded assumptions where the cartesi machine is installed, it should detect this by using environment variables such as
PATH
,CARTESI_IMAGES_PATH
, or even some new environment variable likeCARTESI_SDK_PATH
in case necessary.The text was updated successfully, but these errors were encountered: