diff options
| -rwxr-xr-x | index.php | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/index.php b/index.php index 4f91ed4..c3b48f4 100755 --- a/index.php +++ b/index.php @@ -15,7 +15,7 @@ <div id="front-content"> <p>Welcome to tilde.institute, a public-access machine in the <a href="https://tildeverse.org">tildeverse</a>. This is a space for people to - explore the <code>OpenBSD</code> operating system, in addition to exploring the more social + explore the OpenBSD operating system, in addition to exploring the more social aspects of a multi-user UNIX system.</p> <p>User sites are accessible via <code>https://<user>.tilde.institute</code></p> <p style="margin-top:-1.0rem">A list of user gopherholes is available at @@ -47,6 +47,12 @@ <li><code><a href="https://github.com/getwtxt/getwtxt">getwtxt</a></code></li> </ul> </p> + <p>IRC clients:</p> + <ul> + <li><code>weechat</code></li> + <li><code>irssi</code></li> + <li><code>ircII</code></li> + </ul> <p>The compilers and interpreters available are:</p> <ul> <li><code>brainf*ck 2.7.1</code></li> @@ -92,12 +98,6 @@ <li><code>/usr/local/bin/tcsh</code></li> <li><code>/usr/local/bin/elvish</code></li> </ul> - <p>IRC clients:</p> - <ul> - <li><code>weechat</code></li> - <li><code>irssi</code></li> - <li><code>ircII</code></li> - </ul> <p>Feel free to contact the admins via <a href="mailto:admins@tilde.institute">admins@tilde.institute</a> or on IRC in <code>#institute</code> if you need another package installed, or if you would like your homepage's index changed from <code>index.html</code> to something else (<code>index.cgi</code>, |