From dc5d1af045b2f8852427af6e6f57e16ebb051dda Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Briatte?= Date: Thu, 27 Apr 2023 00:04:30 +0200 Subject: [PATCH] check.r -- ignore DOIs, assume they just work --- check.r | 3 +++ 1 file changed, 3 insertions(+) diff --git a/check.r b/check.r index 8644a26..977fb2b 100755 --- a/check.r +++ b/check.r @@ -59,6 +59,9 @@ l <- str_squish(sort(unique(l))) cat(length(l), "unique\n") +cat("Ignoring", sum(str_detect(l, "^https://doi.org/")), "DOIs\n") +l <- str_subset(l, "^https://doi.org/", negate = TRUE) + sink(f, append = FALSE) cat(as.character(Sys.time()), ": checking", length(l), "URLs\n\n") sink()