From 73162d278f3ca33e6b399034970a5f37333c18c1 Mon Sep 17 00:00:00 2001
From: Nadja Reitzenstein <me@dequbed.space>
Date: Mon, 17 Jan 2022 20:00:40 +0100
Subject: [PATCH] Adds an example usecase for args

---
 examples/bffh.dhall | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/examples/bffh.dhall b/examples/bffh.dhall
index dcf8d5c..f1b982b 100644
--- a/examples/bffh.dhall
+++ b/examples/bffh.dhall
@@ -188,7 +188,9 @@
             -- If you need to pass more arguments to the command you can use the `args` key in
             -- `params` as is done with the actor `Bash`
             module = "Process",
-            params = { cmd = "./examples/actor.py", }
+            -- the `args` are passed in front of all other parameters so they are best suited to
+            -- optional parameters like e.g. the verboseness
+            params = { cmd = "./examples/actor.py", args = "-vvv" }
         },
         DoorControl2 = {
             module = "Process",