diff options
| author | Artyom V. Poptsov <poptsov.artyom@gmail.com> | 2017-01-03 20:57:53 +0300 |
|---|---|---|
| committer | Artyom V. Poptsov <poptsov.artyom@gmail.com> | 2017-01-03 20:57:53 +0300 |
| commit | 828d7654ba776506fdaf6125800ad2eba400e6a3 (patch) | |
| tree | 626cfdccb0de2dc0ff8f133c84f2b24d6f061b49 /doc | |
| parent | doc/api-shell.texi: Add an example for 'loadavg' (diff) | |
| download | guile-ssh-828d7654ba776506fdaf6125800ad2eba400e6a3.tar.gz | |
doc/api-dist.texi: Update the note about procps
* doc/api-dist.texi: Update the note about procps: the module does not strictly
depend on procps anymore.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/api-dist.texi | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc/api-dist.texi b/doc/api-dist.texi index 635ae2d..e363c6e 100644 --- a/doc/api-dist.texi +++ b/doc/api-dist.texi @@ -36,9 +36,12 @@ soon as an evaluation is done. Alternatively you could use @code{node-stop-server} procedure from @code{(ssh dist node)} to stop the server when it is not needed anymore. -@strong{Note} that for @var{start-repl-server?} and @var{stop-repl-server?} to -work properly you need @url{https://gitlab.com/procps-ng/procps, procps} -version 3.3.12 or later on the server side. +Note that when either @var{start-repl-server?} or @var{stop-repl-server?} are +specified, Guile-SSH tries to use @command{pgrep}/@command{pkill} from +@url{https://gitlab.com/procps-ng/procps, procps} package first to start/stop +a remote Guile process, but if the package is missing then the Guile-SSH falls +back to its own implementation of the commands (for more details see +@pxref{Shell, Guile-SSH shell API}) @end deffn |