From c8283e1d085003359aabcaa4b51bf8f28fae4d45 Mon Sep 17 00:00:00 2001 From: Malin Freeborn Date: Tue, 3 Dec 2024 20:03:52 +0100 Subject: [PATCH] add ability to remove unimportant items --- Makefile | 3 +++ map.ge | 11 ++++++----- 2 files changed, 9 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index bf1cfb8..6f5060a 100644 --- a/Makefile +++ b/Makefile @@ -1,2 +1,5 @@ map.txt: map.ge + grep -v '# unimportant' $< | graph-easy --boxart > $@ + +full_map.txt: map.ge graph-easy --boxart < $< > $@ diff --git a/map.ge b/map.ge index 1f17a8b..a4cd284 100644 --- a/map.ge +++ b/map.ge @@ -18,14 +18,15 @@ [ s_nginx ] --> [ s_router ] ) -(splint.rs - [ soft-serve ] - [ mail-cache ] -) +(splint.rs # unimportant + [ soft-serve ] # unimportant + [ mail-cache ]# unimportant +) # unimportant [ tor12 ] <..> [ onions ] <..> [ tor11 ] [ m_router ] <..> [ BGP ] <..> [ madness ] <..> [ s_router ] -[ smtp ] <..> [ madness ] <..> [ mail-cache ] +[ smtp ] <..> [ madness ] +[ madness ] <..> [ mail-cache ]# unimportant [ A ]{label: "" ;} [ B ]{label: "" ;} [ C ]{label: "" ;}