Command line options?
I apologize if this is not the right place to ask, but is there a way to change the settings via the command line? I'd like to make some scripts that can change things like auto-sync the buttons theme or not, or change the theme to something else.