Mattia Rizzolo wrote on Tue, Nov 01, 2016 at 11:18:37 +0000:
> On Tue, Nov 01, 2016 at 11:12:44AM +0000, Chris Lamb wrote:
> > Feel free to change to -f
>
> Holger changed that to ${HOSTNAME}, a variable that I've never
> understood where it comes from
It's defined by bash. (And not exported to the environment)