How do I edit a file in a Terminal? 🤷

This is a light-hearted tutorial on the holy Editor War how to use a command-line interface (CLI) editors for beginners (who are unfamiliar with the Terminal), entitled “How do I edit a file in a Terminal? 🤷”, presented on the 21st of August, 2024 at MPIEA, Frankfurt am Main [slides] [repo]

UPDATE: This is a part of a series of tutorials.