diff options
| author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2022-05-09 22:17:10 +0200 |
|---|---|---|
| committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2022-07-25 23:53:04 +0200 |
| commit | 34e6a9d0ab678ac69218a6be995b73c87e47b17c (patch) | |
| tree | e0436476216d87f0ff606c7474a3b946be9a2ada /manifests/init.pp | |
| parent | b63cb7937892c18a9c3c6da6b06e0c9a5fe7b3a1 (diff) | |
implement user scandirs
Diffstat (limited to 'manifests/init.pp')
| -rw-r--r-- | manifests/init.pp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/manifests/init.pp b/manifests/init.pp index 3141174..833fd8c 100644 --- a/manifests/init.pp +++ b/manifests/init.pp @@ -1,4 +1,6 @@ -class s6 { +class s6 ( + Optional[Array[String]] $scandir_users = [], +) { require 'execline' class { |