let
is_out () = !
Config
.is_gui
||
OutputDir
.get() <>
""