camptocamp/puppet-drbd — pull request #3 by ckaenzig (2012-01-19 15:51:29+00:00)
Title: fix drbd monitoring on Debian.

The check requires gawk, but the default alternative on Debian is mawk. Plus the
path to the binary is different on RedHat and Debian.