diff options
| author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-11-02 22:47:24 +0100 |
|---|---|---|
| committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-11-02 22:47:24 +0100 |
| commit | 740679f0f636204f6d9c70ff248479263ba2fea7 (patch) | |
| tree | 53aee7ef2069dece88b42341c5c9d4395745f423 /manifests/install.pp | |
| parent | 6c8d7cc73442389d4e9c4ecfa86f3f60361c21e4 (diff) | |
fix: script doesn’t end when killed and in a foreground block, so we turn this around and put the short-lived process in the foreground
Diffstat (limited to 'manifests/install.pp')
0 files changed, 0 insertions, 0 deletions