What text editor for #gnu #linux would repeatedly read from file (for updates to the file) and then automatically reload unless you type something? Don't want to reinvent the wheel by coding my own...