chiark / gitweb /
pass opts to process_cfg