What kind of configuration options do picogui support?
pgserver has two big categories of config options: • Compile-time options. Run “make menuconfig” to edit them. Most options have attached descriptions you can access with the “help” button. There are sample configurations for several architectures in the “profiles” directory. • Run-time options. Read the README.configfile and the output of “pgserver -h” for info on these. All run-time options can be specified in a config file or on the command line.
