["Te",["Text editors and some shell scripting"],[""],["https://teaching.healthtech.dtu.dk/unix/index.php/Text_editors_and_some_shell_scripting"]]