Kilian Cavalotti 3576d780fc doc: use pkill instead of ps | grep | awk | xargs (#6034) ...

pkill is provided by the same procps package as ps, so should be present
wherever ps is.

2019-02-26 10:08:08 +08:00

..

basic_concepts

Eliminate some formatting errors when building the docs

2018-09-19 15:13:45 -04:00

manage_clusters

Synclist doc fixes (#6012)

2019-02-22 10:18:35 +08:00

references

doc: use pkill instead of ps | grep | awk | xargs (#6034)

2019-02-26 10:08:08 +08:00

index.rst

Remove trailing spaces in file docs/source/guides/admin-guides/index.rst

2017-12-31 23:59:59 +00:00