Overhaul command-line parameter functionality.#66

Merged

daleglass merged 23 commits intooverte-org:masterfrom Penguin-Guru:FixingParameters

Jun 4, 2022

+356-218

Commits on May 22, 2022

Consolidated (almost) all parameters in "main.cpp".

Penguin-Guru
authored and
Penguin-Guru
committed
Made lines shorter.

Penguin-Guru
authored and
Penguin-Guru
committed
Removed unnecessary comments.

Penguin-Guru
authored and
Penguin-Guru
committed
Added note of other parameters to fix.

Penguin-Guru
authored and
Penguin-Guru
committed
Probably finished the ones in main.

Penguin-Guru
authored and
Penguin-Guru
committed
Fixed spacing.

Penguin-Guru
authored and
Penguin-Guru
committed
Suppose effect.

Penguin-Guru
authored and
Penguin-Guru
committed
Fixed handling of clockSkew parameter.

Penguin-Guru
authored and
Penguin-Guru
committed
Streamlined handling with single parameter source.

Penguin-Guru
authored and
Penguin-Guru
committed
Removed duplicate "--version".

Penguin-Guru
authored and
Penguin-Guru
committed
Fixed handling of traceFileOption. Moved last to main.

Penguin-Guru
authored and
Penguin-Guru
committed
Made help info more helpful.

Penguin-Guru
authored and
Penguin-Guru
committed
Notational changes.

Penguin-Guru
authored and
Penguin-Guru
committed
Re-enabled overrideScriptsPathOption.

Penguin-Guru
authored and
Penguin-Guru
committed
Fixed quibbles.

Penguin-Guru
authored and
Penguin-Guru
committed
Fixed a spacing.

Penguin-Guru
authored and
Penguin-Guru
committed
Fixed a different kind of spacing.

Penguin-Guru
authored and
Penguin-Guru
committed
Changes parser pointer to reference.

Penguin-Guru
authored and
Penguin-Guru
committed
Requested fixes (hopefully).

Penguin-Guru
authored and
Penguin-Guru
committed
Swapped functions back.

Penguin-Guru
authored and
Penguin-Guru
committed
Added warning that --scripts does not seem to work.

Penguin-Guru
authored and
Penguin-Guru
committed
Added warning that --no-launcher supposedly does not work.

Penguin-Guru
authored and
Penguin-Guru
committed

Commits on May 28, 2022

Removed comments. Changed a parameter type label.

Penguin-Guru
authored and
Penguin-Guru
committed