On Wednesday, 12 August 2015 at 09:42:20 UTC, ponce wrote:
I have a script called dubrenew.sh

----------8<-------------

#!/bin/bash
rm dub.selections.json
dub clean-caches

----------8<-------------

Works every time (dub upgrade can be used alternatively to deleting dub.selections.json)

Maybe dub upgrade should call dub clean-caches.

Reply via email to