add ability to remove unimportant items

This commit is contained in:
Malin Freeborn 2024-12-03 20:03:52 +01:00
parent 54c560bb4f
commit c8283e1d08
2 changed files with 9 additions and 5 deletions

View File

@ -1,2 +1,5 @@
map.txt: map.ge map.txt: map.ge
grep -v '# unimportant' $< | graph-easy --boxart > $@
full_map.txt: map.ge
graph-easy --boxart < $< > $@ graph-easy --boxart < $< > $@

11
map.ge
View File

@ -18,14 +18,15 @@
[ s_nginx ] --> [ s_router ] [ s_nginx ] --> [ s_router ]
) )
(splint.rs (splint.rs # unimportant
[ soft-serve ] [ soft-serve ] # unimportant
[ mail-cache ] [ mail-cache ]# unimportant
) ) # unimportant
[ tor12 ] <..> [ onions ] <..> [ tor11 ] [ tor12 ] <..> [ onions ] <..> [ tor11 ]
[ m_router ] <..> [ BGP ] <..> [ madness ] <..> [ s_router ] [ m_router ] <..> [ BGP ] <..> [ madness ] <..> [ s_router ]
[ smtp ] <..> [ madness ] <..> [ mail-cache ] [ smtp ] <..> [ madness ]
[ madness ] <..> [ mail-cache ]# unimportant
[ A ]{label: "" ;} [ A ]{label: "" ;}
[ B ]{label: "" ;} [ B ]{label: "" ;}
[ C ]{label: "" ;} [ C ]{label: "" ;}