Skip to content
Snippets Groups Projects

Utilities: Use grep -E instead of egrep

Merged Anna Wilcox requested to merge awilfox/issue-12 into master
2 files
+ 3
3
Compare changes
  • Side-by-side
  • Inline
Files
2
+ 2
2
@@ -136,12 +136,12 @@ default_sanitycheck() {
fi
if [ -n "$replaces_priority" ] \
&& ! echo $replaces_priority | egrep -q '^[0-9]+$'; then
&& ! echo $replaces_priority | grep -Eq '^[0-9]+$'; then
die "replaces_priority must be a number"
fi
if [ -n "$provider_priority" ] \
&& ! echo $provider_priority | egrep -q '^[0-9]+$'; then
&& ! echo $provider_priority | grep -Eq '^[0-9]+$'; then
die "provider_priority must be a number"
fi
Loading