Closed edubart closed 6 months ago
This PR introduces --env, --workdir and --hostname Docker like options for convenience.
--env
--workdir
--hostname
For instance you execute the following now:
cartesi-machine \ --hostname=test-cm \ --user=root \ --volume=.:/mnt \ --workdir=/mnt \ --env=VAR=1 \ -it bash Running in unreproducible mode! . / \ / \ \---/---\ /----\ \ X \ \----/ \---/---\ \ / CARTESI \ / MACHINE ' root@test-cm:/mnt# env | grep VAR VAR=1 root@test-cm:/mnt#
Looking more similar to docker run usage.
docker run
This PR introduces
--env
,--workdir
and--hostname
Docker like options for convenience.For instance you execute the following now:
Looking more similar to
docker run
usage.