Jisk Attema
Jisk Attema
I've implemented my above suggestion [here](https://github.com/jiskattema/elvish/tree/filepicker), if there's interest in can turn it into a pull request.
Yes, that is a good summary of my commit. Two variants of the navigation mode would work for me; my thoughts on the 2 variants: > The current, "cd" variant:...
Sure, let me know if i can help. Just to add, I tried to implement the 'filepicker' mode using a script. I got it almost working, except for getting insert-selected...
Hi Ben! Is this work still useful? Or did you copy/apply the fixes yourself? Please close the pull request if it's not needed anymore.
I think having some logging can be very useful -- it was very helpful when i tried debugging using kernel turner for some other use cases: openmp / fortran. The...
i could rebase my (minimal) changes -- but i can't seem to re-run the checks. I think removing the logging would be a mistake: the first thing anyone will do...
is there a linter for markdown? Some quick searching gives https://github.com/remarkjs/remark-lint
I'm interested in this language, and use it myself sometimes. I don't see it being used much at the Center. Go makes a lot of sense as a 'better python',...
Yeah for type hints! Especially the automated tools can be (more) helpful if you provide some hints. If you don't want to go all-out with hints, it still makes sense...
I'm also not a fan of this kind of tracking software.. are there any other alternatives? do we really need this data?