Open walseb opened 1 year ago
Hello!
I have a Hoogle server that's running remotely.
I can connect to it over the browser, but I would prefer to interact with it through a CLI interface.
I can't find any information in the --help documentation for the hoogle command on how to search using remote servers.
--help
hoogle
I'd like to be able to do something like hoogle "a -> b" SERVER-ADDRESS:8080 to search for a -> b on the remote server SERVER-ADDRESS:8080.
hoogle "a -> b" SERVER-ADDRESS:8080
a -> b
SERVER-ADDRESS:8080
Does anyone know if this is possible?
Thanks!
This isn't currently supported. There is a format=json arg to the server, and it would be possible to build a CLI client on top of that, but no one has done so yet. Patch welcome.
Hello!
I have a Hoogle server that's running remotely.
I can connect to it over the browser, but I would prefer to interact with it through a CLI interface.
I can't find any information in the
--help
documentation for thehoogle
command on how to search using remote servers.I'd like to be able to do something like
hoogle "a -> b" SERVER-ADDRESS:8080
to search fora -> b
on the remote serverSERVER-ADDRESS:8080
.Does anyone know if this is possible?
Thanks!