Make grep more specific #352

Merged
nico merged 1 commit from marcoduif/cdist:master into master 2022-12-20 17:02:17 +00:00

View file

@ -24,4 +24,4 @@ else
name="$__object_id" name="$__object_id"
fi fi
apt-mark showhold | grep -Fq "$name" && echo hold || echo unhold apt-mark showhold | grep -q "^${name}$" && echo hold || echo unhold