From b68fa25ceace0d72c138b366a7aa052ae734c8af Mon Sep 17 00:00:00 2001
From: Malin Freeborn <malinfreeborn@posteo.net>
Date: Wed, 19 Feb 2025 15:11:37 +0100
Subject: [PATCH] syntax and colouration

---
 distros/void/aeroplanes.md |  2 +-
 networking/ssh.md          | 22 +++++++++++-----------
 2 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/distros/void/aeroplanes.md b/distros/void/aeroplanes.md
index 472a81a..e5138cc 100644
--- a/distros/void/aeroplanes.md
+++ b/distros/void/aeroplanes.md
@@ -9,7 +9,7 @@ su root
 sv stop wpa_supplicant bluetoothd
 ```
 
-Find your device's name with `ip a`.
+Find your device's name with `ip -color addr`.
 If unsure, try this:
 
 ```sh
diff --git a/networking/ssh.md b/networking/ssh.md
index ffb3f17..8b97ff8 100644
--- a/networking/ssh.md
+++ b/networking/ssh.md
@@ -7,7 +7,7 @@ tags: [ "networking" ]
 Try out basic ssh by accessing `git.charm.sh`, without needing authentication:
 
 
-```bash
+```sh
 ssh git.charm.sh
 ```
 
@@ -16,32 +16,32 @@ The ssh server is sometimes in a package called `openssh`, and sometimes only in
 
 Once it's installed, check it's working:
 
-```bash
+```sh
 sudo systemctl status ssh
 ```
 
 If that doesn't work, the service may be called `sshd`.
 
-```bash
+```sh
 sudo systemctl status sshd
 ```
 
 Then start that service:
 
-```bash
+```sh
 sudo systemctl start sshd
 ```
 Test it works by using ssh into your own system, from inside:
 
 
-```bash
+```sh
 ssh $USER@localhost
 ```
 
 Access the computer from another computer on the same local network by finding your computer's IP address.
 
 
-```bash
+```sh
 ip address | grep inet
 ```
 
@@ -56,24 +56,24 @@ Here is mine:
 
 
 The first one starts `127`, which means it returns back to that computer (like `localhost`).
-The second is an ipv6 address, which is too angelic for this world, and has yet to ascend.
+The second is an ipv6 address, which is too angelic for this world, and has yet to descend.
 The third will work from a remote computer.
 
 
-```bash
+```sh
 ssh $USERNAME@IP_ADDRESS
 ```
 
 Once you have that, generate some ssh keys:
 
-```bash
+```sh
 ssh-keygen
 ```
 
 Look at your keys:
 
 
-```bash
+```sh
 ls ~/.ssh
 ```
 
@@ -82,7 +82,7 @@ The other is secret.
 
 Now send those keys to a remote computer:
 
-```bash
+```sh
 ssh-copy-id $USERNAME@IP_ADDRESS
 ```