quiet boot2docker when starting a terminal