diff options
| -rw-r--r-- | dist-assets/linux/before-remove.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dist-assets/linux/before-remove.sh b/dist-assets/linux/before-remove.sh index 7fcd1c0715..2cb0c9afcd 100644 --- a/dist-assets/linux/before-remove.sh +++ b/dist-assets/linux/before-remove.sh @@ -1,9 +1,10 @@ #!/usr/bin/env bash set -eu +is_number_re='^[0-9]+$' # Check if we're running during an upgrade step on Fedora # https://fedoraproject.org/wiki/Packaging:Scriptlets#Syntax -if [ $1 -gt 0 ]; then +if [[ "$1" =~ $is_number_re ]] && [ $1 -gt 0 ]; then echo not running exit 0; fi |