On Fri, 2 Jun 2017 18:46:26 +0200, Mike Wey wrote:

On 06/02/2017 11:35 AM, Antonio Corbi wrote:

Is there a way to achieve this behaviour with dub?
Thanks
A. Corbi

As far as i know dub doesn't support that.

Hi Mike,

It seems so, but dub's manual says it's possible or so I understand from this entry.