diff options
| -rw-r--r-- | index.html | 7 | ||||
| -rw-r--r-- | irc.html | 5 |
2 files changed, 4 insertions, 8 deletions
diff --git a/index.html b/index.html index 547c146..00c1ab8 100644 --- a/index.html +++ b/index.html @@ -49,6 +49,7 @@ <ul> <li>weechat</li> <li>irssi</li> + <li>ircII</li> </ul> <p>Feel free to contact ahriman via the mailing list or on chat in #institute if you need another compiler or shell available, or if you would like your homepage's index changed from index to something else (index.cgi, index.php, etc). I can also provide access to MySQL / MariaDB on a request basis.</p> <div id="news"> @@ -65,13 +66,7 @@ <em>2018 December 5</em> <p>Changed up some of the styling on the main site. I also installed a fun game called <code>botany</code> which allows you to grow various plants on the console. Give it a try!</p> <em>2018 December 3</em> - <p>Local mail delivery is now working! User subdomains will now be served via TLS. Since tilde.institute now satisfies the requirements, I've submitted it to the HSTS preload list.</p> - <em>2018 December 3</em> <p>I just installed DokuWiki so users can record and share cool things to do and cool ways to customize their environment, etc. The link is with the other navigation links.</p> - <em>2018 December 2</em> - <p>If you have latency issues, mosh is available on tilde.institute as an alternative to ssh. Simply install mosh on your end, then issue "mosh user@tilde.institute" as you would with ssh. Make sure your home computer's locale (LANG, LC_CTYPE) is set properly to a UTF-8 encoding before attempting to use mosh.</p> - <em>2018 November 29</em> - <p>I've added nethack, angband, and zork for people to play. I've also fixed up a default weechat config for all users, and added a symlink for weechat called 'chat'. Updated /etc/motd to reflect the new stuff. I'll continue to add more things during the beta phase.</p> </div> </div> </div> diff --git a/irc.html b/irc.html index 910b71f..07fb0ab 100644 --- a/irc.html +++ b/irc.html @@ -18,12 +18,13 @@ <a href="http://tilde.institute">News</a> :: <a href="/signup">Sign Up</a> :: <a href="/irc">IRC</a> :: <a href="/start">Quick-Start Guide</a> :: <a href="/coc">Code of Conduct</a> :: <a href="https://tilde.zone/@tildeinstitute">Mastodon</a> :: <a href="/wiki/index.php">Wiki</a> :: <a href="/stats">Stats</a> </div> <div id="content"> - <p>To connect to the tildeverse IRC network and begin chatting, simply use the command <code>chat</code>! If you prefer to use a different IRC client than the default, such as irssi, the following server information will apply:</p> + <p>To connect to the tildeverse IRC network and begin chatting while logged on to tilde.institute, simply use the command <code>chat</code>! If you prefer to use a different IRC client than the default, such as irssi, the following server information will apply:</p> <ul> - <li>irc.tilde.chat, port 6697, ssl</li> + <li>localhost, port 6667</li> </ul> <p>Don't forget to /join #institute and /join #meta</p> <p>Join us on the tildeverse IRC network and socialize with other tilde users!</p> + <p>tilde.institute is now peering with the larger tildeverse IRC network! Our specific node can be connected remotely via institute.tilde.chat, port 6697, with SSL enabled.</p> </div> </div> </body> |