about summary refs log tree commit diff stats
path: root/index.html
diff options
context:
space:
mode:
authorahriman <ahriman@falte.red>2019-09-17 22:11:54 -0400
committerahriman <ahriman@falte.red>2019-09-17 22:11:54 -0400
commit6997c3531888ebbc58f1519428881e0e2f0dc887 (patch)
treeb21b0133c600e270acbaef3602d7fb788d50da8e /index.html
parent2fb62b0fee2620a55b7dc5a2f116a0a620522a30 (diff)
downloadsite-6997c3531888ebbc58f1519428881e0e2f0dc887.tar.gz
merged compilers/interpreters, reworded some text
Diffstat (limited to 'index.html')
-rw-r--r--index.html21
1 files changed, 10 insertions, 11 deletions
diff --git a/index.html b/index.html
index 9a53ed3..2c83fb5 100644
--- a/index.html
+++ b/index.html
@@ -23,7 +23,8 @@
         <p>User sites are accessible via <code>https://&lt;user&gt;.tilde.institute</code></p>
         <p style="margin-top:-1.0rem">A list of user gopher sites are available at <code>gopher://tilde.institute</code></a></p>
         <p>Mailing list now available for tilde.institute! Web archive and <a href="https://lists.tildeverse.org/postorius/lists/institute.lists.tildeverse.org/">subscribing information available here</a>. The mailing list will be the primary means of communication between tilde.institute and users regarding announcements and critical issues.</p>
-        <p>The list of compilers available are as follows:</p>
+        <p>We have a local <code>GitBucket</code> instance for users to enjoy, available here: <a href="https://git.tilde.institute">https://git.tilde.institute</a>.</p>
+        <p>The list of compilers and interpreters available are as follows:</p>
 			<ul>
                 <li><code>brainf*ck 2.7.1</code></li>
                 <li><code>clang 7.0.1</code></li>
@@ -38,22 +39,20 @@
                 <li><code>go 1.13</code></li>
                 <li><code>guile 1.8.8</code></li>
                 <li><code>jdk 11.0.2.9.3 (environment setup required)</code></li>
+                <li><code>lua 5.3.5</code></li>
                 <li><code>mono 5.18.1</code></li>
                 <li><code>nasm 2.14.02</code></li>
                 <li><code>nim 0.16.0</code></li>
-                <li><code>racket 7.2</code></li>
-                <li><code>rust 1.33.0</code></li>
-                <li><code>scala 2.12.3</code></li>
-                <li><code>yasm 1.3.0</code></li>
-			</ul>
-            <p>We also provide non-HTTP access to various interpreted languages:</p>
-            <ul>
-                <li><code>lua 5.3.5</code></li>
                 <li><code>node.js 10.15</code></li>
                 <li><code>perl 5.28.1</code></li>
+                <li><code>php 7.3</code></li>
                 <li><code>python (2.7 &amp; 3.6)</code></li>
+                <li><code>racket 7.2</code></li>
                 <li><code>ruby 2.5 (and 2.6)</code></li>
-            </ul>
+                <li><code>rust 1.33 (1.37 will be available after November 2019's release of OpenBSD 6.6)</code></li>
+                <li><code>scala 2.12.3</code></li>
+                <li><code>yasm 1.3.0</code></li>
+			</ul>
             <p>Your interactive shell can be changed with the <code>chsh</code> command. The shells available:</p>
             <ul>
                 <li><code>/bin/ksh (default)</code></li>
@@ -72,7 +71,7 @@
             <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>, <code>index.php</code>, etc). We can also provide access to <code>MariaDB</code> by request.</p>
+        <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>, <code>index.php</code>, etc).</p>
         <div id="news">
             <h1>News &amp; Updates</h1>
             <em>2019 September 15</em>