user/dev discussion of public-inbox itself
 help / color / mirror / code / Atom feed
Search results ordered by [date|relevance]  view[summary|nested|Atom feed]
thread overview below | download mbox.gz: |
* [PATCH 26/24] scripts: require ASCII digits in a few places
@ 2019-06-05  2:18  7% Eric Wong
  0 siblings, 0 replies; 1+ results
From: Eric Wong @ 2019-06-05  2:18 UTC (permalink / raw)
  To: meta

I haven't touched most these scripts in ages, but we might as well
purge \d usage from here, as well.
---
 scripts/import_slrnspool | 2 +-
 scripts/xhdr-num2mid     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/import_slrnspool b/scripts/import_slrnspool
index e7ea45c..25b702a 100755
--- a/scripts/import_slrnspool
+++ b/scripts/import_slrnspool
@@ -47,7 +47,7 @@ sub get_min {
 	my $out = $git->qx('config', "--file=$f", key($ibx));
 	$out ||= 0;
 	chomp $out;
-	$out =~ /\A\d+\z/ and return $out;
+	$out =~ /\A[0-9]+\z/ and return $out;
 	0;
 }
 
diff --git a/scripts/xhdr-num2mid b/scripts/xhdr-num2mid
index 6f839c5..f119ec4 100755
--- a/scripts/xhdr-num2mid
+++ b/scripts/xhdr-num2mid
@@ -23,7 +23,7 @@ my ($num, $first, $last) = $nntp->group($group);
 die "Invalid group\n" if !(defined $num && defined $first && defined $last);
 my $arg_first = shift;
 if (defined $arg_first) {
-	$arg_first =~ /\A\d+\z/ or die $usage;
+	$arg_first =~ /\A[0-9]+\z/ or die $usage;
 	$first = $arg_first;
 } elsif ($mm) {
 	my $last_article = $mm->meta_accessor('last_article');
-- 
EW


^ permalink raw reply related	[relevance 7%]

Results 1-1 of 1 | reverse | options above
-- pct% links below jump to the message on this page, permalinks otherwise --
2019-06-05  2:18  7% [PATCH 26/24] scripts: require ASCII digits in a few places Eric Wong

Code repositories for project(s) associated with this public inbox

	https://80x24.org/public-inbox.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).