Re: bash trick - prefixing a command?