blob: d150c9be7fa164884bb57b638bceca1d8dee72ea (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
.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. This allows users to experiment
with web development using compiled CGI in C, aka the BCHS Stack. In
addition to php7.0 and mysql (mariadb) by request, this provides an
environment where the development of complex web apps is possible.
.Sh NOTABLE SOFTWARE
.Ss Compilers
The following compilers are provided:
.Bd -offset indent
.Bl -compact
.It
clang 6.0.0 (C/C++)
.It
Rust 1.29.2
.It
Go 1.11
.It
ghc 8.2.2 (haskell)
.It
nasm 2.13.03 & yasm 1.3.0
.El
.Ed
We also provide non-HTTP access to various interpreted languages as well:
.Bd -offset indent
.Bl -compact
.It
python (2.7 & 3.6)
.It
ruby 2.5
.It
perl 5.24
.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 in the tilde.institute chat on #institute.
.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>
|