To File

(transitive) To smooth, grind, or cut with a file