I'm looking for documentation on idris '--client' poke @edwinbrady @raichoo @puffnfresh (it doesn't seem to work on idris 0.9.15.1)
-
-
@edwinbrady I've done that already. The cli doesn't read correctly the port number and sends it as a command. -
@edwinbrady oh, got it. You got to use both --port and --client in the right order. Doc and help could probably be a bit clearer.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.