commit dd1b79eafdec8db33eb0dc14fc33fc8f49997fe0
parent fe0883f370b2e2fbb22dd03748c6be513b23c655
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Wed, 21 Jun 2017 13:57:26 +0200
instructin to reload buildbot config
Diffstat:
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/doc/onboarding.texi b/doc/onboarding.texi
@@ -82,11 +82,18 @@ $ ~/buildbot/stop.sh
There is also a "restart" script, runnable as follows:
-
@example
$ ~/buildbot/restart.sh
@end example
+NOTE: the following command reloads the configuration without
+restarting the bot.
+
+@example
+$ source ~/buildbot/venv/bin/activate
+$ buildbot reconfig ~/buildbot/master/
+@end example
+
@subsubsection Documentation worker
This worker is responsible for building all the documentation on