file down
中上級 (B2) neutral
To use a rough tool to make something smaller or smoother.
"She filed down her broken nail so it wouldn't catch on her clothes."
文脈の中で聞く
12 Tools Every Mechanic and DIYer Should Own
HumbleMechanic · 0:58
Whether it's just a quick file down of something
The Internet Was Weeks Away From Disaster and No One Knew
Veritasium · 21:35
And in our demo, it actually gets the file down 85% smaller than the original.