Yep as others said a regular file is what you want. A diamond file would take a lot of time to properly detune your edges. Diamond files are used to finish the edge after a standard file is used. So just go get a regular fairly fine file and then you can use a gummy or Simons file to clean them up at the end.