Closed
Description
This issue was originally filed by @seaneagan
From seaneagan/den#7:
This seems to be the culprit http://stackoverflow.com/a/17753098/217408 (/bin/sh -> dash) and dash seems not to support [[ according to the SO answer.
Do you consider changing the first line in /home/myuser/.pub-cache/bin/den to #!/bin/bash, which fixes the issue for me?
[[ is bash specific and according to http://lwn.net/Articles/343924/ the script file should set #!/bin/bash explicitly in this case. Contains some other interesting background I wasn't aware of.