From d2b1b1a49bea88263d8a8b8f1488061642ba479a Mon Sep 17 00:00:00 2001 From: katherine Date: Fri, 24 Mar 2017 08:19:13 -0700 Subject: fix rational number pat --- make-gif | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make-gif b/make-gif index 3d77d1a..7aa845e 100755 --- a/make-gif +++ b/make-gif @@ -56,7 +56,7 @@ local colour_count=256 local rect="" local timepat='^(([0-9][0-9]:){1,2}[0-9][0-9]|[0-9]+)(\.[0-9]+){0,1}$' -local numpat='^[1-9][0-9]*(\.[0-9]+){0,1}$' +local numpat='^([1-9][0-9]*(\.[0-9]+){0,1}|0\.[0-9]*[1-9])$' local intpat='^[1-9][0-9]*$' local zintpat='^[0-9]+$' local dithpat='^(bayer[0-5]|heckbert|floyd_steinberg|sierra2|sierra2_4a)$' -- cgit v1.2.3