1HOP(1)                      General Commands Manual                     HOP(1)
2
3
4

NAME

6       hopsh 3.1.0 - send a command to a running Hop server.
7
8

SYNOPSIS

10       hopsh [ options ] [ input ]
11
12

DESCRIPTION

14       Hopsh is a tool that let users spawn hop from a command line interface.
15

OPTIONS

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

SEE ALSO

27       hop(1), hopreplay(1)
28
29

AUTHOR

31       Manuel SERRANO, Manuel.Serrano@inria.fr
32
33
34
35
36
37                                 Version 3.1.0                          HOP(1)