diff options
author | Rob Austein <sra@hactrn.net> | 2019-03-19 15:38:44 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2019-03-19 15:38:44 +0000 |
commit | d26298d9fcf518ff46b83d97f09ecb46fe6f4e9f (patch) | |
tree | e13f69a1d12582fc839b7b7d948816f0261f2bbf | |
parent | 5f09487ef603810b24e056702edc17fa9e052a08 (diff) |
Updated notes
-rw-r--r-- | README | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -6,6 +6,15 @@ fetching the HTML: wget -r --user=sra@hactrn.net --ask-password https://permatrac.noc.ietf.org/wiki/ +Slightly better recipe: + + wget -m -R '*[?]*' --user=sra@hactrn.net --ask-password https://permatrac.noc.ietf.org/wiki/ + +But either way, `wget` seems to be non-terminating when walking this +site, even if it throws away .999 of what it retrieves. In theory, +adding `-np` would have fixed this; in practice doing so causes it not +to recurse at all. Grrr. + Scripts from rpki.net/doc/*/*.{sh,py,xsl}, included here under tools/. The other approach is converting Trac wiki directly to markdown. @@ -15,3 +24,7 @@ There are hacks for this, in Ruby: But there are also Python versions, which are a bit more tractible. Several of them included in tools/ too. + + +The most promising approach looks to be `tools/trac2md.py`, which is a +bit crude but is written in a relatively sane style so should be fixable. |