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
Current trema run requires trema controller common options like --name , --logging_level, etc. to be enclosed in quotes with the controller name in order for them to take effect.
$ trema run "./controller --name=NewName" -d
It will be easier to use, if trema run command passed those options to the controller, when common options were given to trema run and enable trema run invocation like:
$ trema run ./controller --name=NewName -d
Note that simply appending common options found to the end of controllers option arguments may cause problem,
when there are controller specifc options.
$ trema run "./controller -a -b -c -- other arguments" --name=NewName -d
In the above case, --name=NewName probably should be inserted after -c
The text was updated successfully, but these errors were encountered:
Current trema run requires trema controller common options like
--name
,--logging_level
, etc. to be enclosed in quotes with the controller name in order for them to take effect.It will be easier to use, if trema run command passed those options to the controller, when common options were given to trema run and enable trema run invocation like:
Note that simply appending common options found to the end of controllers option arguments may cause problem,
when there are controller specifc options.
In the above case,
--name=NewName
probably should be inserted after-c
The text was updated successfully, but these errors were encountered: