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 puppet-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/puppet-users/rci0ho%2437c5%241%40ciao.gmane.io.
