diff options
| -rw-r--r-- | quilt/scripts/patchfns.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/quilt/scripts/patchfns.in b/quilt/scripts/patchfns.in index 4b5b6e5..91012ec 100644 --- a/quilt/scripts/patchfns.in +++ b/quilt/scripts/patchfns.in @@ -356,7 +356,7 @@ top_patch() is_numeric() { - echo $1 | grep -q '^[0-9]*$' + [[ "$1" =~ ^[0-9]+$ ]] } is_applied() |