We already allow append args via the server endpoints bit the command line didn't before this pull request
This was because its a bit more complex the way we start from the command line such as starting a profile. I have added a new parameter for the start command which takes a map of services and the append args for that service i.e. '{"SERVICE_NAME":["-DFoo=Bar","something_else"]}' This will allow it to work for profiles or starting all. It does have a small disadvantage of being a little bit verbose for starting a single service but this is not a huge issue
SiliconMeeple
commented
9 years ago
We already allow append args via the server endpoints bit the command line didn't before this pull request
This was because its a bit more complex the way we start from the command line such as starting a profile. I have added a new parameter for the start command which takes a map of services and the append args for that service i.e. '{"SERVICE_NAME":["-DFoo=Bar","something_else"]}' This will allow it to work for profiles or starting all. It does have a small disadvantage of being a little bit verbose for starting a single service but this is not a huge issue