Welcome to the workshop!
ISOs are disk images. These can be “burned” onto USB sticks or CD/DVD Roms. They're often very large downloads, so I've mirrored the files locally. This saves our internet resources.
To open a terminal
CTRL-ALT-T
To run system updates
sudo apt update && sudo apt dist-upgrade -y
To install SSH Server
sudo apt install ssh
To install ifconfig
sudo apt install net-tools
To rebuild the keyrings (nuclear option)
sudo rm -fr /etc/pacman.d/gnupg sudo pacman-key --init sudo pacman-key --populate archlinux manjaro sudo pacman-key --refresh-keys