It's 10 actually, I can leave out a space.
sed -e32d filename
Also, yours is 12 keystrokes. And once we get to multiple files, yours grows linearly, mine is constant.. :^)for F in *;do sed -e32d "$F";done
(NB: a loop is necessary since we'll otherwise only delete the 32nd line of the first file.)