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.
