About Text Editors

<p>Text editors - which ones do we enjoy, which ones have we used, and what do we actually want and need in them?</p><p>Andreas has read about vim, sed and awk. Lars is quite comfortable in vim, but finds Visual studio code more than acceptable enough. </p><p>Andreas is excited to show Lars how to use Vim properly. Lars considers advanced setups something of a hellscape.</p><p>Lars has held a lecture about functional programming and wishes to provide a path for new .Net developers (dotnet dots?) to become free software zealots.</p><p>They both share their history of editors.</p><p>There are dreams of ergonomic editing - of code as well as text in general - on mobile devices.</p><p>Any other editors we should be trying? No, but you could hack together collaborative vim editing. </p><p><strong><br>Links</strong></p><ul> <li><a href="https://en.wikipedia.org/wiki/Humble_Bundle">Humble bundle</a></li> <li> <a href="https://www.oreilly.com/library/view/learning-the-vi/9781492078791/">Learning the Vi and Vim Editors</a> - book</li> <li><a href="https://en.wikipedia.org/wiki/Vim_%28text_editor%29">Vim</a></li> <li><a href="https://madmax.fandom.com/wiki/Thunderdome">Thunderdome</a></li> <li><a href="https://en.wikipedia.org/wiki/Monad_%28functional_programming%29">Monad</a></li> <li> <a href="https://en.wikipedia.org/wiki/Ex_%28text_editor%29">ex</a> - line editor which inspired vi</li> <li><a href="https://en.wikipedia.org/wiki/Ed_%28text_editor%29">ed</a></li> <li> <a href="https://www.oreilly.com/library/view/sed-awk/1565922255/">sed &amp; awk</a> - book</li> <li><a href="https://en.wikipedia.org/wiki/AWK">AWK</a></li> <li><a href="https://en.wikipedia.org/wiki/Sed">sed</a></li> <li><a href="https://en.wikipedia.org/wiki/Sublime_Text">Sublime text</a></li> <li><a href="https://zed.dev/">Zed</a></li> <li><a href="https://neovim.io/">Neovim</a></li> <li><a href="https://en.wikipedia.org/wiki/Tmux">Tmux</a></li> <li><a href="https://en.wikipedia.org/wiki/I3_%28window_manager%29">I3</a></li> <li><a href="https:/