Re: [PATCH 20/47] bash scripts: remove useless cat