about summary refs log tree commit diff stats
path: root/084console.mu
Commit message (Expand)AuthorAgeFilesLines
* 3844Kartik K. Agaram2017-05-061-2/+1
* 3574Kartik K. Agaram2016-10-231-5/+1
* 3570 - don't busy-wait in 'wait-for-event'Kartik K. Agaram2016-10-231-1/+3
* 3565Kartik K. Agaram2016-10-231-12/+12
* 3390Kartik K. Agaram2016-09-171-3/+3
* 3389Kartik K. Agaram2016-09-171-10/+10
* 3388Kartik K. Agaram2016-09-171-9/+9
* 3385Kartik K. Agaram2016-09-171-9/+9
* 3379Kartik K. Agaram2016-09-171-5/+5
* 2870 - fix the final long-standing failing testKartik K. Agaram2016-04-271-0/+1
* 2864 - replace all address:shared with just addressKartik K. Agaram2016-04-241-10/+10
* 2861 - 'maybe-convert' no longer returns addressKartik K. Agaram2016-04-231-3/+3
* 2844 - purge get-address from all layersKartik K. Agaram2016-04-161-8/+6
* 2798 - experiment: split channels into two endsKartik K. Agaram2016-03-191-1/+1
* 2784 - make channels genericKartik K. Agaram2016-03-141-1/+1
* 2735 - define recipes using 'def'Kartik K. Agaram2016-03-081-14/+14
* 2576 - distinguish allocated addresses from othersKartik K. Agaram2016-01-191-11/+11
* 2612Kartik K. Agaram2015-11-291-9/+9
* 2468 - overload print-character as just 'print'Kartik K. Agaram2015-11-211-1/+1
* 2460 - headers for remaining recipesKartik K. Agaram2015-11-181-26/+21
* 2430 - make room for more transformsKartik K. Agaram2015-11-131-0/+113
: #fff0f0 } /* Literal.String.Backtick */ .highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */ .highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */ .highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */ .highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */ .highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */ .highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */ .highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */ .highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */ .highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */ .highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */ .highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */ .highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */ .highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */ .highlight .vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
.Dd $Mdocdate$
.Dt TILDE.INSTITUTE 7
.Os
.Sh TILDE.INSTITUTE
.Nm tilde.institute
.Nd a public unix system
.Sh SYNOPSIS
ssh username@tilde.institute
.Sh DESCRIPTION

Welcome to tilde.institute! This is an OpenBSD machine whose purpose is 
to provide a space in the tildeverse for experimentation with and 
education of 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.

.Sh NOTABLE SOFTWARE
.Ss Compilers

The following compilers and interpreters are provided:
.Bd -offset indent
.Bl -compact
.It
brainf*ck 2.7.1
.It
clang 8.0.1
.It
clisp 2.49
.It
clojure 1.10.0.4
.It
elixir 1.9.1
.It
erlang 21.2
.It
gcc 8.3.0 (includes Objective-C support)
.It
gforth 0.7.3
.It
ghc 8.6.4
.It
gnat 8.3.0
.It
go 1.13.1
.It
guile 1.8.8
.It
jdk 11.0.5.8.1 (environment setup required)
.It
lua 5.3.5 and 5.1.5
.It
mono 5.20.1.34
.It
nasm 2.14.02
.It
nim 1.0.4
.It
node.js 10.16.3
.It
perl 5.28.2
.It
php 7.3.16
.It
python (2.7.16 & 3.7.4)
.It
racket 7.4
.It
rakudo 2018.12
.It
ruby 2.5.5 (and 2.6.6)
.It
rust 1.38
.It
scala 2.12.3
.It
yasm 1.3.0
.El
.Ed

.Ss Shells
            
Your interactive shell can be changed with the chsh command. The shells available:
.Bd -offset indent
.Bl -compact
.It
/bin/ksh (default)
.It
/bin/sh
.It
/bin/csh
.It
/usr/local/bin/bash
.It
/usr/local/bin/dash
.It
/usr/local/bin/zsh
.It
/usr/local/bin/fish
.It
/usr/local/bin/tcsh
.It
/usr/local/bin/elvish
.El
.Ed

.Ss IRC
            
The IRC clients available by default are:
.Bd -offset indent
.Bl -compact
.It
weechat
.It
irssi
.It
ircII
.El
.Ed

.Sh BUGS
Contact the admins <admins@tilde.institute> or stop by #institute on irc.
.Sh NOTES
Mailing lists are now available for tilde.institute. Web archive and information available at
.Ur
https://lists.tildeverse.org/postorius/lists/institute.lists.tildeverse.org/
.Ue 
.Sh SEE ALSO
httpd(8), slowcgi(8), ksh(1), bash(1), chsh(1)
.Sh AUTHORS
.An Knight <knight@tilde.institute>