workbench-script/pxe/settings.ini.example