From c3cca82465e5256a515caa2d832de33b51f77c9c Mon Sep 17 00:00:00 2001 From: gbmor Date: Sun, 3 May 2020 15:40:47 -0400 Subject: redesigned site; moved header/nav and news to separate files for ease of updating --- index.php | 91 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 91 insertions(+) create mode 100755 index.php (limited to 'index.php') diff --git a/index.php b/index.php new file mode 100755 index 0000000..456e8d8 --- /dev/null +++ b/index.php @@ -0,0 +1,91 @@ + + + + + + + tilde.institute :: Public-access OpenBSD machine + + + + + +
+ +
+

Welcome to tilde.institute! This is an public-access machine in the tildeverse whose purpose is to provide a space for people to + experiment with the OpenBSD operating system. A variety of editors, shells, and compilers + are installed to allow for development in a native OpenBSD environment. OpenBSD's + httpd(8) is configured with slowcgi(8) as the fastcgi provider and + sqlite3 is available.

+

User sites are accessible via https://<user>.tilde.institute

+

A list of user gopher sites is available at + gopher://tilde.institute

+

The mailing list will be the primary means of communication between tilde.institute admins and users + regarding announcements and critical issues. Web archive and subscribing + information available here.

+

The list of compilers and interpreters available are as follows:

+
    +
  • brainf*ck 2.7.1
    • +
  • clang 8.0.1
    • +
  • clisp 2.49
    • +
  • clojure 1.10.0.4
    • +
  • crystal 0.30.1
    • +
  • elixir 1.9.1
    • +
  • erlang 21.2
    • +
  • gcc 8.3.0 (see the wiki page)
    • +
  • gforth 0.7.3
    • +
  • gfortran / g95 8.3.0 (see the wiki page) +
    • +
  • ghc 8.6.4
    • +
  • gnat 8.3.0
    • +
  • go 1.13.1
    • +
  • guile 1.8.8
    • +
  • jdk 11 and 8 (see the wiki page)
    • +
  • lua 5.3.5 and 5.1.5
    • +
  • mono 5.20.1.34
    • +
  • nasm 2.14.02
    • +
  • nim 1.0.4
    • +
  • node.js 10.16.3
    • +
  • perl 5.28.2
    • +
  • php 7.3.16
    • +
  • python 2.7.16 and 3.7.4
    • +
  • racket 7.4
    • +
  • rakudo 2018.12
    • +
  • ruby 2.5.5 and 2.6.6
    • +
  • rust 1.38
    • +
  • scala 2.12.3
    • +
  • yasm 1.3.0
    • +
+

Your interactive shell can be changed with the chsh command. The shells available:

+
    +
  • /bin/ksh (default)
    • +
  • /bin/sh
    • +
  • /bin/csh
    • +
  • /usr/local/bin/bash
    • +
  • /usr/local/bin/dash
    • +
  • /usr/local/bin/zsh
    • +
  • /usr/local/bin/fish
    • +
  • /usr/local/bin/tcsh
    • +
  • /usr/local/bin/elvish
    • +
+

The IRC clients available by default are:

+
    +
  • weechat
    • +
  • irssi
    • +
  • ircII
    • +
+

Feel free to contact the admins via admins@tilde.institute or + on IRC in #institute if you need another package installed, or if you would like your + homepage's index changed from index.html to something else (index.cgi, + index.php, etc).

+
+
+ +
+
+ + + \ No newline at end of file -- cgit 1.4.1-2-gfad0