redo minos config syntax