linux file editing for beginners