Merge remote-tracking branch 'upstream/main' into mkdocs-wiki

This commit is contained in:
esy 2024-08-26 20:07:24 +01:00
commit a8da59ffa6
No known key found for this signature in database
24 changed files with 275 additions and 47 deletions

View file

@ -61,27 +61,6 @@
}, },
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1657425264,
"narHash": "sha256-3aHvoI2e8vJKw3hvnHECaBpSsL5mxVsVtaLCnTdNcH8=",
"owner": "nixos",
"repo": "nixpkgs",
"rev": "de5b3dd17034e6106e75746e81618e5bd408de8a",
"type": "github"
},
"original": {
"owner": "nixos",
"ref": "nixos-unstable-small",
"repo": "nixpkgs",
"type": "github"
}
},
"nixpkgs_2": {
"locked": {
"lastModified": 1724208548,
"narHash": "sha256-8Aiur5lv2L8o9ErxHqS2F293MHiHCoRG8C4vCwhkeXo=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "4c30668e1edb7348169407f218fa7c71a94b17f3",
"type": "github" "type": "github"
}, },
"original": { "original": {

View file

@ -1,3 +1,3 @@
# Skynet Wiki # Welcome
Here you can find useful information about the Skynet Cluster Here you can find useful information about the Skynet Cluster

28
src/skynet/gpg.md Normal file
View file

@ -0,0 +1,28 @@
# GPG Keys
GPG keys are a way to verify who you are online.
They can be integrated with git and dev tools such as Jetbrain's IDE's
## Using Keys
### Command Line
This site is a good site for info. https://gock.net/blog/2020/gpg-cheat-sheet
### GUI tools
I use Kleopatra as a GUI tool.
It has Windows and Linux versions (including NixOS)
### Security
{Add section on keeping keys secure ehre, such as only using subkeys on devices}
## Open Governance Signing
{add stuff about open governance signing here}
## Troubleshooting
### Forgejo GPG verification failure
If you are trying to verify a gpg key on Forgejo and it keeps failing it may be because your key has more than one subkey.
The solution is:
01. Make a backup of your gpg key.
02. Delete all but one subkey
* This key must be a signing key
03. Run the command Forgejo gives ye
04. Restore the original key (if ye desire)

3
src/skynet/nix.md Normal file
View file

@ -0,0 +1,3 @@
# Nix/NixOS
{add warnign that git and git-lfs should also need to be in teh path}

View file

@ -0,0 +1,49 @@
# Skynet account
A Skynet account provides access to all the services listed in this wiki.
To manage the account we have a self-service way to sign up for an account, change password, add ssh keys and more.
## Committee/Admins
Committee and Skynet Admins are required to have a Skynet account in order to have access to internal materials.
## Sign up
#### <https://account.skynet.ie/signup>
A Computer Society member is able to use this page to sign up for a Skynet account.
By entering the email address used for Wolves they will be sent a mail with instructions on how to proceed.
## Modify
Various aspects of the account can be modified, such as:
### Password
#### <https://account.skynet.ie/password>
If you know your existing password it can be changed here.
### SSH Keys
#### <https://account.skynet.ie/modify_ssh>
SSH keys are used for accessing the [Skynet Webserver](./skynet.md).
If you are on campus they are also usable for the [Forgejo instance](./forgejo.md).
You can have multiple keys associated with your account.
### User Information
#### <https://account.skynet.ie/modify>
On Signup details such as email, first name and surname are pulled from UL Wolves, which itself pulls (for students) from UL.
This means that for some members their names does not match reality and this allows them to correct that.
It also allows members upon graduation to switch to their own email address for Wolves instead of the UL provided email.
## Recovery
Shit happens, memory fades, bits flip and ye find yourself unable to login.
### Username
#### <https://account.skynet.ie/recovery/username>
If you have forgotten your username a reminder can be sent to the email linked to your account.
### Password
#### <https://account.skynet.ie/recovery/password>
If you forget your password a reset link can be sent to the email linked to your account.

View file

@ -0,0 +1,11 @@
# Discord
### <https://discord.skynet.ie>
While we dont host our Discord server it is one fo the services we have for members.
We used to have an [IRC](https://en.wikipedia.org/wiki/IRC) server, however that had a high onboarding cost for users and it was shut down a few years ago.
The modern equivalent would be Matrix, of which we could have a Discord bridge to keep the two communities connected.
## Bot
### <https://forgejo.skynet.ie/Skynet/discord-bot>
We have a discord bot to manage membership on the discord, as well as manage the Minecraft Whitelist.

View file

@ -0,0 +1,33 @@
# Email
Skynet offers an email to all members.
It is ``username@skynet.ie``
## Login
### Roundcube
#### <https://mail.skynet.ie>
Use your Skynet ``username@skynet.ie`` and ``password`` to login.
### Nextcloud
#### <https://nextcloud.skynet.ie/apps/mail/>
Our [Nextcloud instance](./nextcloud.md) has an inbuilt mail module.
See [Nextcloud](./nextcloud.md) page for more info on logging in.
### Thunderbird
#### <https://www.thunderbird.net>
Thunderbird is an email client made by Mozilla.
Honestly it is one of the best email clients out there.
They are working on exchange (Outlook/Office 365) support so ye will be able to use it for your UL email.
This work is being done with Rust.
Use your Skynet ``username@skynet.ie`` and ``password`` to login.
## Sieve Scripts
Sieve scripts allow you to sort and manage yer email in a programmatic way.
Recommended tool: <https://github.com/thsmi/sieve>
Small tutorial will follow later.
### Committee/Admins
There is an inbuilt sieve script that passes mail from committee/admin addresses into a folder in their Skynet inbox.

View file

@ -0,0 +1,15 @@
# Forgejo
### <https://forgejo.skynet.ie>
Forgejo is an online git repo host.
Like [Gitlab](./gitlab.md) it is self hostable meaning that Skynet has its own instance of it.
Structure wise it has more in common with Github with teh flatter ``owner/repo`` structure as well as being compatible with Github Actions
Honestly I (@silver) just love the slogan of Forgejo:
> Beyond coding. We Forge.
## Login
Use your Skynet ``username`` and ``password`` to login.
## Administration
Skynet Admins are automatically granted admin rights on Forgejo, this is done via LDAP

View file

@ -0,0 +1,19 @@
# Gitlab
### <https://gitlab.skynet.ie>
Gitlab is an online git repo hosting service.
Access to these repos is provided via SSH and HTTP (Although only HTTP is available off campus).
It has a solid CI/CD platform which uses its own YAML based config system.
Finally it has "folders" such as ``owner/folder/repo`` and ``owner/as/many/folders/as/ye/want/repo`` which allows for hierarchical grouping of repos.
## Depreciation
Skynet currently hosts a Gitlab instance, however it is currently being depreciated in favor of [Forgejo](./forgejo.md).
This is largely due to the administrative overhead involved in running a Gitlab CE instance.
Much of the LDAP based tools are locked behind the Enterprise (EE) licence.
These tools come automatically with Forgejo.
Forgejo has another advantage of being able to use Github actions, which more folks are familiar with over Gitlab.
One final reason is that the resources required to host Forgejo and its runner are far less than what are required to host Gitlab and its runner.

View file

@ -0,0 +1,12 @@
# Nextcloud
#### <https://nextcloud.skynet.ie>
Nextcloud is ``What if Google but not Evil?``.
It consists of file storage, email client, web documents and more.
## Login
Use your Skynet ``username`` and ``password`` to login.
## Committee/Admins
Committee and Admins have access to group folders which contain our long term data storage.

View file

@ -0,0 +1,94 @@
# Skynet
We provide a linux webserver webserver for member use.
It could be considered akin to the [Tildeverse](https://tildeverse.org/), named as such for the way each member's site was displayed (``https://skynet.ie/~username``).
Now that will redirect to ``https://username.users.skynet.ie`` we home to have preserved the same vibe.
## Name
The main user facing server of the cluster has always been called Skynet, the cluster is named after this server.
You can find more of the history here: <https://2009.skynet.ie/history.html>
## Login
Login is done via ssh and ssh keys.
### Create SSH key
First we set up the ssh folder and create a skynet folder within it for neatness
```bash
mkdir -f -p ~/.ssh/skynet
cd ~/.ssh/skynet
```
Now we will create the ssh key itself.
Location: ``username``, your skynet username.
Password: Press Enter twice for no password on the key.
```bash
ssh-keygen -t ed25519 -C "<comment>"
```
It will create two files: ``username`` and ``username.pub``
### SSH Key
Head over to [adding ssh keys](./account.md#ssh-keys) to find information on adding ssh keys to your skynet account.
it is the ``username.pub`` that you will be adding to your account.
To get the contents of the file do this.
```bash
cat username.pub
```
### SSH Config
Back up to the ``.ssh`` folder.
```bash
cd ../
```
Now we have to create the config file.
Notice how it has no extension.
#### Windows
```powershell
"" > config
```
Open it up in any text editor available to you.
#### Linux
```bash
touch config
```
You can edit it from command line using nano
```bash
nano config
```
Or open up in a text editor.
--------------------------------------
Windows and Linux pop this into the file and save it
```
Host *.skynet.ie
User %r
IdentityFile ~/.ssh/skynet/%r
IdentitiesOnly yes
```
### Logging in
In any terminal do this:
```bash
ssh username@skynet.skynet.ie
```
And you will be in!
## Website
In your home folder follow these commands to create the folder that can be used to host a website
```bash
mkdir ~/public_html
chmod 711 ~
chmod -R 755 ~/public_html
cd ~/public_html
```
See below for an easy way to upload files to this folder.
## More info
There is a slideshow that might be of use to you: <https://public.skynet.ie/slides/skynet/1_setup.html>

View file

@ -1,9 +1,4 @@
+++ # Wolves Account Migration
title = 'Wolves Account Migration'
date = 2024-06-17
slug = 'migration'
+++
In order to keep the same Wolves account a few simple steps must be followed to migrate it away from your studentmail. In order to keep the same Wolves account a few simple steps must be followed to migrate it away from your studentmail.
This is especially important if you have a Skynet account linked with your wolves account. This is especially important if you have a Skynet account linked with your wolves account.

View file

@ -1,9 +1,4 @@
+++ # Skynet Account Recovery
title = 'Skynet Account Recovery'
date = 2024-12-27
slug = 'recovery'
+++
## Jan 2023 Downtime & Account Recovery ## Jan 2023 Downtime & Account Recovery
In Jan 2023 we had extended downtime, for more information checkout [this link][0]. In Jan 2023 we had extended downtime, for more information checkout [this link][0].
The next section will outline the changes that have been made in the last year while the subsequent one will deal with Account Recovery. The next section will outline the changes that have been made in the last year while the subsequent one will deal with Account Recovery.

View file

@ -1,9 +1,4 @@
+++ # Alumni Renewal
title = 'Skynet Alumni Renewal'
date = 2020-08-17
slug = 'renew'
+++
## How to renew your Skynet membership! ## How to renew your Skynet membership!
### Dear Alumnus; welcome, ### Dear Alumnus; welcome,
@ -69,11 +64,11 @@ If you are paying online you can only pay for one year's membership.
You may want to ping @committee on [our discord][discord]. You may want to ping @committee on [our discord][discord].
[0]: renewal/renew1.jpg [0]: ./renewal/renew1.jpg
[1]: renewal/renew2.png [1]: ./renewal/renew2.png
[2]: renewal/renew3.png [2]: ./renewal/renew3.png
[3]: renewal/renew4.png [3]: ./renewal/renew4.png
[4]: renewal/renew5.jpg [4]: ./renewal/renew5.jpg
[5]: renewal/renew6.jpg [5]: ./renewal/renew6.jpg
[6]: renewal/renew7.png [6]: ./renewal/renew7.png
[discord]: https://discord.skynet.ie [discord]: https://discord.skynet.ie