Dominik Schrempf

Results 208 comments of Dominik Schrempf

Actually, similar behavior has led to a semantic error with Haddock for me: Original code ( DataTypeI , DataTypeII(DataConstructor) -- * Haddock heading , name ) is formatted to (...

Of course I was intelligent enough to delete this contact :(, but I checked on other contacts with pictures (those are smaller, around 5 to 10MB). And yes, already in...

I should say that this contact was the first on the "All contacts" list with a social media profile picture. Maybe the social media scraper was going down the list...

Thanks for looking into this, and sorry for the late reply. I followed the steps of @call-me-matt and indeed, only one PHOTO tag is in the contact file, even when...

I don't have any opinion about that. I think this issue is more about duplicate PHOTO tags, and I think it has been solved already. Is this the case? What...

This seems to be a complicated business... What I observe when running `deploy .#x`, where `x` is a deployment: - When I set `checks` in `outputs`, all checks are performed...

Thanks for looking into this. Apparently, it is not enough to set `spacemacs-theme-comment-bg` in `dotspacemacs/user-init`. I added it to `dotspacemacs/init`, and then it works. I refrained from adding it to...

Thank you very much for your detailed explanation. I was not aware of the fact that other package sets than the main one are only minimally supported. Maybe we should...