If you save a config with e.g. --skip-options gamma, that config will never be listed when passing --current, even if you pass --current --skip-options gamma.
I think the bug here is that is_equal_configuration doesn't ignore options specified with --skip-options.
oops, this is totally incorrect; there was an extra option I didn't notice in my current config that's missing from the saved config, as well as gamma. it works fine if I --skip-options that too. sorry!
If you save a config with e.g.
--skip-options gamma
, that config will never be listed when passing--current
, even if you pass--current --skip-options gamma
.I think the bug here is that
is_equal_configuration
doesn't ignore options specified with--skip-options
.