https://www.php-resource.de/forum/off-topic-diskussionen/29444-editor-unter-linux