Am 17.06.2020 um 15:01 schrieb 'Dirk Heinrichs' via Puppet Users:
Am Mittwoch, den 17.06.2020, 13:37 +0200 schrieb Helmut Schneider:
Can I check if an array has elements?
if size($something) > 0 {}
Found $array.empty but thank you.
--
You received this message because you are subscribed to the Google Groups "Puppet
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/puppet-users/rci0ho%2437c5%241%40ciao.gmane.io.
