Augusto Stoffel

Sure, any help to make that script as portable as possible is welcome. But from what you, I gather `$HOSTNAME` bash-specific, and systemd is even less ubiquitous. So I'm not...

It looks like `uname -n` is the right way to get the hostname portably.

> might be worth indicating in the instructions that coreutils need to be installed What exactly requires coreutils, and is there an easy replacement? > probably need to use "file...

Well... I for one would not want this behavior. Although the package is described as an Info browser analogue, I use it more like `C-h o` (`describe-symbol`). But I guess...

Thanks for your input regarding 2. Regarding 1, like I said, I find the default behavior of `C-h v` and friends a better default. So I will implement an user...

@rswgnu Let me know if the new option `devdocs-window-select` works for you. Thanks for the suggestion!

@minad If you want to discuss more about the grep command, we can do it here. The current version works, but is synchronous completely. It should be possible to add...

> If it works well, why not? It works _correctly_, but is super slow. By the time you start grepping a well-indexed document, you are pretty desperate, so it might...

I've added a new commit making the search asynchronous (but still single threaded). You might be curious to check out how it works :-).

> I don't see a point in having slow commands around in particular if we have better tools like ripgrep. Can you ripgrep HTML files without seeing garbage in the...