This is an old revision of the document!
Tardis runs a server as part of the ImaginaryNet IRC network. The server's address is irchost.tardis.ed.ac.uk (works inside tardis but not outside) - irc.imaginarynet.uk points to the IRC networks round-robin (works outside tardis too).
A guide for users on how to connect to the network can be found here.
Opers
Tardis admins encouraged to not add themselves as opers without the consent of the other network admins.
Current Tardis opers:
- blip2
- Arkan
Configuration
The server runs a specialised fork of IRCd-ratbox (mostly SSL patches), which is checked out of a git repository and then compiled and installed. Ask the IRCops in #imaginary for assistance if you ever need to reconfigure IRChost.
IRChost is currently hosted on karn and peers directly with bia.imaginarynet.uk