File-huggeri, et. (foræld.) fabrik, hvor file fremstilles (jf. -værk). Fr. V. skødede (Raadvad mølle) til sin Kammertjener . . for at anlægge et Filehuggeri der. Trap.⁴II.297.