flake.lock

@@ -61,6 +61,27 @@
     },
     "nixpkgs": {
       "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"
       },
       "original": {

src/index.md

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

src/migration.md

@@ -1,4 +1,9 @@
-# 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.  
 This is especially important if you have a Skynet account linked with your wolves account.  
 

src/recovery.md

@@ -1,4 +1,9 @@
-# Skynet Account Recovery
++++
+title   = 'Skynet Account Recovery'
+date    = 2024-12-27
+slug    = 'recovery'
++++
+
 ## Jan 2023 Downtime & Account Recovery
 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.

src/renew.md

@@ -1,4 +1,9 @@
-# Alumni Renewal
++++
+title   = 'Skynet Alumni Renewal'
+date    = 2020-08-17
+slug    = 'renew'
++++
+
 ## How to renew your Skynet membership!
 ### Dear Alumnus; welcome,
 
@@ -64,11 +69,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].
 
 
-[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

src/skynet/gpg.md

@@ -1,28 +0,0 @@
-# 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) 

src/skynet/nix.md

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

src/skynet/services/account.md

@@ -1,49 +0,0 @@
-# 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.
-
-
-
-

src/skynet/services/discord.md

@@ -1,11 +0,0 @@
-# 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.

src/skynet/services/email.md

@@ -1,33 +0,0 @@
-# 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.  

src/skynet/services/forgejo.md

@@ -1,15 +0,0 @@
-# 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

src/skynet/services/gitlab.md

@@ -1,19 +0,0 @@
-# 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.
-

src/skynet/services/nextcloud.md

@@ -1,12 +0,0 @@
-# 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.

src/skynet/services/skynet.md

@@ -1,94 +0,0 @@
-# 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>