> I don't know how to build a wiki index exactly like the one on 9p.io,
> but you may find this useful...
>
> {
> echo Wiki Index
> echo
> echo Index of wiki pages:
> echo
> sed 's/([0-9]*) (.*)/ * [\2] (\1)/' map | sort
> } >/tmp/windex
>
> and find out some way to deliver it to your wiki without human intervention.
Thank you, this script worked for me:
{
echo '<p>Wiki Index</p>'
echo '<p>Index of wiki pages:</p>'
sed 's/([0-9]*) (.*)/<br> * \<a href="\2"\>[\2] (\1)\<\/a\>/'
/sys/lib/wiki.plan9/d/map | sort
} > /usr/web/plan9/wiki/index.html
--
Aaron Lin
[email protected]
IRCNow (https://ircnow.org)
------------------------------------------
9fans: 9fans
Permalink:
https://9fans.topicbox.com/groups/9fans/Td2b421b98b84ea67-Ma041f14b180f399ad3e61e6d
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
