Adjust is_positive_integer so values with leading 0's, such as '001' will return 1 (#2)

Author: Brain2000

usr/lib/hacking-bash.sh

@@ -234,7 +234,7 @@ function is_positive_integer
 {
 	(( $# < 1 )) && return 1
 
-	[[ $1 =~ ^([1-9][0-9]*|0)$ ]] && return 0
+	[[ $1 =~ ^([0-9]+)$ ]] && return 0
 
 	return 1
 }