Date: Sun, 3 May 2020 15:40:47 -0400 Subject: redesigned site; moved header/nav and news to separate files for ease of updating --- coc.html | 122 ---------------------------------------------------------- coc.php | 118 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ header.html | 43 +++++++++++++++++++++ index.html | 102 ------------------------------------------------ index.php | 91 +++++++++++++++++++++++++++++++++++++++++++ logo.png | Bin 4340 -> 0 bytes logo.txt | 6 --- logo.xcf | Bin 30466 -> 0 bytes newsdata.html | 33 ++++++++++++++++ signup.html | 41 -------------------- signup.php | 37 ++++++++++++++++++ stats.php | 12 +----- submit.php | 12 +----- tilde.css | 72 ++++++++++++++++------------------ tilde.json | 2 +- 15 files changed, 361 insertions(+), 330 deletions(-) delete mode 100644 coc.html create mode 100755 coc.php create mode 100644 header.html delete mode 100644 index.html create mode 100755 index.php delete mode 100644 logo.png delete mode 100644 logo.txt delete mode 100644 logo.xcf create mode 100644 newsdata.html delete mode 100644 signup.html create mode 100755 signup.php mode change 100644 => 100755 stats.php diff --git a/coc.html b/coc.html deleted file mode 100644 index a6f1613..0000000 --- a/coc.html +++ /dev/null @@ -1,122 +0,0 @@ - - - - - - tilde.institute :: Code of Conduct - - - - -

- of OpenBSD Education -

- -

tilde.institute code of conduct

tl;dr: Be kind to each other. Think carefully about the words you -use. Think carefully about what content you post and promote.

1. Purpose

A primary goal of tilde.institute is to be inclusive to the largest number of -community members, with the most varied and diverse backgrounds -possible. As such, we are committed to providing a friendly, safe and -welcoming environment for all, regardless of gender, sexual orientation, -ability, ethnicity, socioeconomic status, and religion (or lack -thereof).

This code of conduct outlines our expectations for all those who -participate in our community, as well as the consequences for -unacceptable behavior.

We invite all those who participate in tilde.institute to help create safe -and positive experiences for everyone.

2. Vision of tilde.institute

tilde.institute exists to provide a safe, non-judgemental, and fun place to -explore creative projects and to seek intentional digital community.

In a post-facebook age, it is up to small communities to gather and work -together to provide a space outside of the advertising-laden, corporate -mediated world of social media.

To that end, tilde.institute strives to be a radically inclusive community -where people of all backgrounds and all technological experience levels -can come together for peer education, to delight in one another's -creations and to make good conversation.

3. Expected Behavior

Participate in an authentic and active way. In doing so, you - contribute to the health and longevity of tilde.institute.
Exercise consideration and respect in your speech and actions.
Attempt collaboration before conflict.
Refrain from demeaning, discriminatory, or harassing behavior and - speech.
If anyone asks you to stop a particular kind of behavior, always err - on the side of respecting their wishes. If you believe their request - is unreasonable or unfair, ask an admin, but don't respond with - hostility.
Be mindful of your surroundings and of your fellow participants. - Alert community leaders if you notice a dangerous situation, someone - in distress, or violations of this code of conduct, even if they - seem inconsequential.

4. Unacceptable Behavior

Unacceptable behaviors include: intimidating, harassing, abusive, -discriminatory, derogatory or demeaning speech or actions by any -tilde.institute user online, at any related events, or in one-on-one -communication carried out in the conduct of tilde.institute related projects. -Community event venues--physical or digital--may be shared with members -of the public; please be respectful to all patrons of these locations.

Harassment includes: harmful or prejudicial verbal or written comments -related to gender, age, sexual orientation, race, religious choices, -disability; inappropriate use of nudity and/or sexual images in public -spaces (like your \~ html pages); deliberate intimidation, stalking, or -following; harassing recording; sustained disruption of the work of -others; and unwelcome sexual attention.

5. Consequences of Unacceptable Behavior

Unacceptable behavior from any community member, including those with -decision making authority or sudo, will not be tolerated.

Anyone asked to stop unacceptable behavior is expected to comply immediately. -If a community member engages in unacceptable behavior, the tilde.institute admins -may take any action they deem appropriate, up to and including a temporary ban -or permanent expulsion from tilde.institute (meaning your user account would be -revoked) without warning.

6. If You Witness or Are Subject to Unacceptable Behavior

If you are subject to or witness unacceptable behavior, or have any -other concerns, please see the Contact Information section below.

Additionally, help engaging with law enforcement is always available.

7. Addressing Grievances

If you feel you have been falsely or unfairly accused of violating this -code of conduct, use the Contact Information section below to send a -concise description of your grievance.

8. Scope

We expect all tilde.institute members to abide by this code of conduct while:

engaging with other users locally on the server
publishing content hosted on tilde.institute
engaging in community activities, whether in meatspace or cyberspace

9. Contact Information

tilde.institute admins:

all admins ✉ admins@tilde.institute
gbmor - ✉ gbmor@tilde.institute
Kneezle - ✉ kneezle@tilde.institute

Admins can be reached privately:

on IRC using /msg gbmor hello or /msg kneezle hello
via e-mail at the private addresses listed above.

10. License and Attribution

This code of conduct is based on -citizencodeofconduct.org under the -terms of the Creative Commons Attribution-ShareAlike -license.

- - diff --git a/coc.php b/coc.php new file mode 100755 index 0000000..87b6eb2 --- /dev/null +++ b/coc.php @@ -0,0 +1,118 @@ + + + + + + + tilde.institute :: Code of Conduct + + + + + +

+ +

tilde.institute code of conduct

tl;dr: Be kind to each other. Think carefully about the words you + use. Think carefully about what content you post and promote.

1. Purpose

A primary goal of tilde.institute is to be inclusive to the largest number of + community members, with the most varied and diverse backgrounds + possible. As such, we are committed to providing a friendly, safe and + welcoming environment for all, regardless of gender, sexual orientation, + ability, ethnicity, socioeconomic status, and religion (or lack + thereof).

This code of conduct outlines our expectations for all those who + participate in our community, as well as the consequences for + unacceptable behavior.

We invite all those who participate in tilde.institute to help create safe + and positive experiences for everyone.

2. Vision of tilde.institute

tilde.institute exists to provide a safe, non-judgemental, and fun place to + explore creative projects and to seek intentional digital community.

In a post-facebook age, it is up to small communities to gather and work + together to provide a space outside of the advertising-laden, corporate + mediated world of social media.

To that end, tilde.institute strives to be a radically inclusive community + where people of all backgrounds and all technological experience levels + can come together for peer education, to delight in one another's + creations and to make good conversation.

3. Expected Behavior

Participate in an authentic and active way. In doing so, you + contribute to the health and longevity of tilde.institute.
Exercise consideration and respect in your speech and actions.
Attempt collaboration before conflict.
Refrain from demeaning, discriminatory, or harassing behavior and + speech.
If anyone asks you to stop a particular kind of behavior, always err + on the side of respecting their wishes. If you believe their request + is unreasonable or unfair, ask an admin, but don't respond with + hostility.
Be mindful of your surroundings and of your fellow participants. + Alert community leaders if you notice a dangerous situation, someone + in distress, or violations of this code of conduct, even if they + seem inconsequential.

4. Unacceptable Behavior

Unacceptable behaviors include: intimidating, harassing, abusive, + discriminatory, derogatory or demeaning speech or actions by any + tilde.institute user online, at any related events, or in one-on-one + communication carried out in the conduct of tilde.institute related projects. + Community event venues--physical or digital--may be shared with members + of the public; please be respectful to all patrons of these locations.

Harassment includes: harmful or prejudicial verbal or written comments + related to gender, age, sexual orientation, race, religious choices, + disability; inappropriate use of nudity and/or sexual images in public + spaces (like your \~ html pages); deliberate intimidation, stalking, or + following; harassing recording; sustained disruption of the work of + others; and unwelcome sexual attention.

5. Consequences of Unacceptable Behavior

Unacceptable behavior from any community member, including those with + decision making authority or sudo, will not be tolerated.

Anyone asked to stop unacceptable behavior is expected to comply immediately. + If a community member engages in unacceptable behavior, the tilde.institute admins + may take any action they deem appropriate, up to and including a temporary ban + or permanent expulsion from tilde.institute (meaning your user account would be + revoked) without warning.

6. If You Witness or Are Subject to Unacceptable Behavior

If you are subject to or witness unacceptable behavior, or have any + other concerns, please see the Contact Information section below.

Additionally, help engaging with law enforcement is always available.

7. Addressing Grievances

If you feel you have been falsely or unfairly accused of violating this + code of conduct, use the Contact Information section below to send a + concise description of your grievance.

8. Scope

We expect all tilde.institute members to abide by this code of conduct while:

engaging with other users locally on the server
publishing content hosted on tilde.institute
engaging in community activities, whether in meatspace or cyberspace

9. Contact Information

tilde.institute admins:

all admins ✉ admins@tilde.institute
gbmor + ✉ gbmor@tilde.institute
Kneezle + ✉ kneezle@tilde.institute

Admins can be reached privately:

on IRC using /msg gbmor hello or /msg kneezle hello
via e-mail at the private addresses listed above.

10. License and Attribution

This code of conduct is based on + citizencodeofconduct.org under the + terms of the Creative Commons + Attribution-ShareAlike + license.

+ + + \ No newline at end of file diff --git a/header.html b/header.html new file mode 100644 index 0000000..55be708 --- /dev/null +++ b/header.html @@ -0,0 +1,43 @@ +

+
+████████╗██╗██╗     ██████╗ ███████╗   ██╗███╗   ██╗███████╗████████╗██╗████████╗██╗   ██╗████████╗███████╗
+╚══██╔══╝██║██║     ██╔══██╗██╔════╝   ██║████╗  ██║██╔════╝╚══██╔══╝██║╚══██╔══╝██║   ██║╚══██╔══╝██╔════╝
+   ██║   ██║██║     ██║  ██║█████╗     ██║██╔██╗ ██║███████╗   ██║   ██║   ██║   ██║   ██║   ██║   █████╗  
+   ██║   ██║██║     ██║  ██║██╔══╝     ██║██║╚██╗██║╚════██║   ██║   ██║   ██║   ██║   ██║   ██║   ██╔══╝  
+   ██║   ██║███████╗██████╔╝███████╗██╗██║██║ ╚████║███████║   ██║   ██║   ██║   ╚██████╔╝   ██║   ███████╗
+   ╚═╝   ╚═╝╚══════╝╚═════╝ ╚══════╝╚═╝╚═╝╚═╝  ╚═══╝╚══════╝   ╚═╝   ╚═╝   ╚═╝    ╚═════╝    ╚═╝   ╚══════╝

+ + + + + + + + + + + + +

+ News + + Sign Up + + Code of Conduct + + Mastodon + + Wiki + + Git + + Stats + + twtxt + + tilde.json +

\ No newline at end of file diff --git a/index.html b/index.html deleted file mode 100644 index 51d4e01..0000000 --- a/index.html +++ /dev/null @@ -1,102 +0,0 @@ - - - - - - tilde.institute :: OpenBSD Education - - - - -

- of OpenBSD Education -

- -

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).

News & Updates

- 2020 May 02 -

git repos can now be served via git.tilde.institute from your home directory! To get started, check the wiki page.

- 2020 April 17 -

Some ssh host heys were regenerated and I also deployed SSHFP records. If you receive an error related to this when connecting, - remove the old host key fingerprint:

ssh-keygen -R tilde.institute

Then connect and tell ssh to check the sshfp records:

ssh -o "VerifyHostKeyDNS ask" <user>@tilde.institute

-
- 2020 April 14 -

Upgraded to OpenBSD 6.6. Everything went smoothly. Enjoy!

- 2019 July 30 -

The server migration happened over the weekend, and there were very few issues resulting from the migration. Success!

- 2019 July 04 -

We'll be moving to a much larger and more powerful server soon! Currently building it. We're hoping to have everything ready for next week.

- 2019 June 06 -

Wow, we've hit 150 users! Also, we'll be upgrading to OpenBSD 6.5 on Monday evening around 10:00 PM US Eastern Time, or 2:00 AM UTC (Tuesday).

- 2019 March 14 -

Welcome to the team, Kneezle!

- - 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 diff --git a/logo.png b/logo.png deleted file mode 100644 index 17daea0..0000000 Binary files a/logo.png and /dev/null differ diff --git a/logo.txt b/logo.txt deleted file mode 100644 index 41f5c99..0000000 --- a/logo.txt +++ /dev/null @@ -1,6 +0,0 @@ - __ _ __ __ _ __ _ __ __ - / /_(_) /___/ /__ (_)___ _____/ /_(_) /___ __/ /____ - / __/ / / __ / _ \ / / __ \/ ___/ __/ / __/ / / / __/ _ \ - / /_/ / / /_/ / __/ / / / / (__ ) /_/ / /_/ /_/ / /_/ __/ - \__/_/_/\__,_/\___/ /_/_/ /_/____/\__/_/\__/\__,_/\__/\___/ - diff --git a/logo.xcf b/logo.xcf deleted file mode 100644 index bea945c..0000000 Binary files a/logo.xcf and /dev/null differ diff --git a/newsdata.html b/newsdata.html new file mode 100644 index 0000000..3f1c10a --- /dev/null +++ b/newsdata.html @@ -0,0 +1,33 @@ +

News

+ +2020 May 02 +

git repos can now be served via git.tilde.institute from + your home directory! To get started, check the + wiki page.

+ +2020 April 17 +

Some ssh host heys were regenerated and I also deployed SSHFP records. If you receive an error + related to this when connecting, + remove the old host key fingerprint:

ssh-keygen -R tilde.institute

Then connect and tell ssh to check the sshfp records:

ssh -o "VerifyHostKeyDNS ask" <user>@tilde.institute

+
+ +2020 April 14 +

Upgraded to OpenBSD 6.6. Everything went smoothly. Enjoy!

+ +2019 July 30 +

The server migration happened over the weekend, and there were very few issues resulting from the + migration. Success!

+ +2019 July 04 +

We'll be moving to a much larger and more powerful server soon! Currently building it. We're hoping + to have everything ready for next week.

+ +2019 June 06 +

Wow, we've hit 150 users! Also, we'll be upgrading to OpenBSD 6.5 on Monday evening around 10:00 PM + US Eastern Time, or 2:00 AM UTC (Tuesday).

+ +2019 March 14 +

Welcome to the team, Kneezle!

\ No newline at end of file diff --git a/signup.html b/signup.html deleted file mode 100644 index 505894a..0000000 --- a/signup.html +++ /dev/null @@ -1,41 +0,0 @@ - - - - - - tilde.institute :: Sign Up - - - - -

- of OpenBSD Education -

- -

- If you haven't received the welcome email within 24 hours, please check your spam folder. -

- - diff --git a/signup.php b/signup.php new file mode 100755 index 0000000..136306b --- /dev/null +++ b/signup.php @@ -0,0 +1,37 @@ + + + + + + + tilde.institute :: Sign Up + + + + + +

+ +

+ If you haven't received the welcome email within 24 hours, please check your spam folder. +

+ + + \ No newline at end of file diff --git a/stats.php b/stats.php old mode 100644 new mode 100755 index e77889b..2229127 --- a/stats.php +++ b/stats.php @@ -9,16 +9,8 @@

- of OpenBSD Education -

- -

+ +

Connected Users (5min):

diff --git a/submit.php b/submit.php index 52ed079..e1ce340 100755 --- a/submit.php +++ b/submit.php @@ -9,16 +9,8 @@

- of OpenBSD Education -

- -

+ +

tilde.institute code of conduct

1. Purpose

2. Vision of tilde.institute

3. Expected Behavior

4. Unacceptable Behavior

5. Consequences of Unacceptable Behavior

6. If You Witness or Are Subject to Unacceptable Behavior

7. Addressing Grievances

8. Scope

9. Contact Information

10. License and Attribution

tilde.institute code of conduct

1. Purpose

2. Vision of tilde.institute

3. Expected Behavior

4. Unacceptable Behavior

5. Consequences of Unacceptable Behavior

6. If You Witness or Are Subject to Unacceptable Behavior

7. Addressing Grievances

8. Scope

9. Contact Information

10. License and Attribution

News & Updates

News

Desired Username:

Your Email Address:

What interests you about tilde.institute?

Paste Your SSH Key:

Desired Username:

Your Email Address:

What interests you about + tilde.institute?

Paste Your SSH Key: