From 4ec2624f44126e100fa247e96fb28ce2bd2c6eb1 Mon Sep 17 00:00:00 2001 From: David Eisinger Date: Thu, 6 Jul 2023 22:05:20 -0400 Subject: [PATCH] Check for dup refs in renumber script --- bin/renumber | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/bin/renumber b/bin/renumber index 72db1a5..f7b7a61 100755 --- a/bin/renumber +++ b/bin/renumber @@ -9,6 +9,13 @@ end content = File.read(filename) +refs = content.scan(/\[\d+\]:/) + +unless refs == refs.uniq + warn "Error: duplicate refs detected" + exit +end + links = content.scan(/\[\d+\]/).uniq links.zip(1..).each do |old_id, new_id|