1HOP(1) General Commands Manual HOP(1)
2
3
4
6 hopsh 3.1.0 - send a command to a running Hop server.
7
8
10 hopsh [ options ] [ input ]
11
12
14 Hopsh is a tool that let users spawn hop from a command line interface.
15
17 options Many options are available. Type `hopsh -help' to print them.
18
19 The complete Hopsh documentation is available as a Web appliā
20 cation. To access this documentation, starts the server and
21 browse the url
22
23 http://localhost:8080/hop/doc
24
25
27 hop(1), hopreplay(1)
28
29
31 Manuel SERRANO, Manuel.Serrano@inria.fr
32
33
34
35
36
37 Version 3.1.0 HOP(1)