Expose random seed through CLI

[chapulina]

Desired behavior

It should be possible to pass a custom seed to the random number generator from the CLI. For example:

gz sim --seed 123 my_pseudo_random_world.sdf

Alternatives considered

Don't use the CLI and instead instantiate the simulator through a custom C++ program. This way, the seed can be passed to ServerConfig::SetSeed:

https://github.com/ignitionrobotics/ign-gazebo/blob/49fb65fc2a079303bfe47f0a92983179363e0f04/include/ignition/gazebo/ServerConfig.hh#L307-L309

Implementation suggestion

• Add a --seed option to cmdgazebo.rb.in
• Pass it as an argument on runServer
• Call ServerConfig::SetSeed

Additional context

It looks like we supported the --seed option on Blueprint, see fe9cbdf. But we missed it when migrating from server_main.cc to ign.cc in 7dbc19e.

[adityapande-1995]

Addressed here : #1618