If you're in ubuntu (or other unix-like environment) you can readily use awk to line-number a text file, which gets you out of the AUTO/Escape pickle altogether.
Code:
awk '{print 10*NR,$0}' < input.basic.txt > input.numbered.txtStatistics: Posted by BigEd — Mon Dec 09, 2024 1:15 pm