Re: prt-get prints logfile twice in dumpconfig