Soham Chowdhury
Soham Chowdhury
Here is what I have now:  I've put a few static (i.e. not reacting to things like changes of Evil state) segments in my header-line: date, time, and currently...
Basically, I'd like some way for doom-modeline to support beautification of the header-line as well. :)
Oh, I see what you're saying, that is probably the better way to go! If you have an alternative name that references TT instead of Idris, feel free to suggest...
Thanks for the suggestions, I'll keep them in mind! (Text-TT sounds funnily similar to `\texttt{..}`)
I don't think so; I guess I should've mentioned that my use-case requires the output to be easily parseable in a way that the output of `--dumpcases` is not, so...
Skylib's version doesn't expose `mutable_{union,difference}`, so I've opened https://github.com/bazelbuild/bazel-skylib/pull/415 for that.
@YorikSar can you try this now after the changes of #286? It may be that the `.bazelrc` change is sufficient to fix the issue, but I don't have a macOS...
@dmadisetti is this still something you need? It seems like the upstream fix at https://github.com/bazelbuild/bazel/issues/15499 is also stalled.
See #298.