#199 theSnake Python For the sake of completeness, there are Python solutions at: http://bytes.com/topic/python/answers/595470-how-remove-number-lines-text-file url:Bash Tip: Remove a line from middle of file 2012-05-04
For the sake of completeness, there are Python solutions at:
http://bytes.com/topic/python/answers/595470-how-remove-number-lines-text-file