opencarp Docker binary name
The docker script provides the command opencarp
as a wrapper for the Docker. I think this is a very nice concept!
The only thing I am a bit afraid of is that it could be easily mistaken (or even indistinguishable on non-case-sensitive file system) with openCARP
, which would be the normal binary (compiled for the host system).
What do you think about changing opencarp
to opencarp-docker
?