File (tool)

Different kinds of hand files. The material has been made stronger with diamonds.

Detail of a file

A file is a tool. It is used to shape materials, by cutting away some of it. Today, files are usually made of a steel bar that has a rough surface. By rubbing the surface against a material, some of the material is cut away. There are also nail files used to shape a person's fingernails.