file off

Short definition from Wiktionary

Verb

To remove using a file (the tool).
To depart in single file.

We haven’t written up file off yet: Simple and Standard meanings, examples and a quiz.