Compare commits
8 commits
6e45b2a86b
...
a8da59ffa6
Author | SHA1 | Date | |
---|---|---|---|
a8da59ffa6 | |||
39c216bc6c | |||
08862ebe5d | |||
c65d468032 | |||
37eaed93e7 | |||
b8d8895457 | |||
85da87e6b2 | |||
6b173610f8 |
24 changed files with 275 additions and 47 deletions
21
flake.lock
21
flake.lock
|
@ -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": {
|
||||||
|
|
|
@ -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
28
src/skynet/gpg.md
Normal 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
3
src/skynet/nix.md
Normal file
|
@ -0,0 +1,3 @@
|
||||||
|
# Nix/NixOS
|
||||||
|
|
||||||
|
{add warnign that git and git-lfs should also need to be in teh path}
|
49
src/skynet/services/account.md
Normal file
49
src/skynet/services/account.md
Normal 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.
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
11
src/skynet/services/discord.md
Normal file
11
src/skynet/services/discord.md
Normal 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.
|
33
src/skynet/services/email.md
Normal file
33
src/skynet/services/email.md
Normal 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.
|
15
src/skynet/services/forgejo.md
Normal file
15
src/skynet/services/forgejo.md
Normal 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
|
19
src/skynet/services/gitlab.md
Normal file
19
src/skynet/services/gitlab.md
Normal 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.
|
||||||
|
|
12
src/skynet/services/nextcloud.md
Normal file
12
src/skynet/services/nextcloud.md
Normal 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.
|
94
src/skynet/services/skynet.md
Normal file
94
src/skynet/services/skynet.md
Normal 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>
|
|
@ -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.
|
||||||
|
|
|
@ -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.
|
|
@ -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
|
Loading…
Reference in a new issue