From 57d2e809972f25ccdd9f1afe6088199cbf975cb8 Mon Sep 17 00:00:00 2001 From: David Timber Date: Fri, 25 Oct 2024 23:39:16 +0200 Subject: Initial commit --- query-rpki-prefixes | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100755 query-rpki-prefixes (limited to 'query-rpki-prefixes') diff --git a/query-rpki-prefixes b/query-rpki-prefixes new file mode 100755 index 0000000..34c365a --- /dev/null +++ b/query-rpki-prefixes @@ -0,0 +1,28 @@ +#!/bin/bash +. common.sh + +read_prefixes () { + grep -Eoi '[a-f0-9.:]+/[0-9]{1,3}' | while read l + do + echo '!r'"$l" + done +} + +process_result () { + local r + + while read -d '' r + do + if echo "$r" | grep -Eiqs '^rpki-ov-state:(\s+)?valid'; then + echo "$r" | + grep -Eoi 'route6?:(\s+)?[a-f0-9.:]+/[0-9]{1,3}' | + sed -E 's/^route6?:(\s+)?//' | + sort | + uniq | + head -n1 + fi + done +} + + +read_prefixes | open_db | extract_answer | process_result -- cgit