Merge pull request 'Make grep more specific' (#352) from marcoduif/cdist:master into master

Reviewed-on: #352
This commit is contained in:
nico14571 2022-12-20 17:02:16 +00:00
commit d4dfe95a97

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