File-tools is a collection of shell scripts to manipulate large text files. Their only functionality so far are to: Slice a large file into chunks of a given size. Extract a section of a file, whole lines at a time. Verify that an octave generated text file is not corrupt.
Its simple and sweet, so use it if you want. No warranty or fitness for purpose warranteed.