From 2d86dc7b2df862009573658578e0f7ad8551a0fe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 27 Aug 2018 16:12:48 +0200 Subject: Tweak nodes configuration --- nodes/local.conf | 1 - nodes/notag.conf | 2 ++ 2 files changed, 2 insertions(+), 1 deletion(-) delete mode 100644 nodes/local.conf create mode 100644 nodes/notag.conf diff --git a/nodes/local.conf b/nodes/local.conf deleted file mode 100644 index 243211a..0000000 --- a/nodes/local.conf +++ /dev/null @@ -1 +0,0 @@ -EXECUTORS=6 diff --git a/nodes/notag.conf b/nodes/notag.conf new file mode 100644 index 0000000..d1ee7d9 --- /dev/null +++ b/nodes/notag.conf @@ -0,0 +1,2 @@ +# Disable untagged jobs +EXECUTORS=0 -- cgit v1.2.3