Diamond files work well on knives. Some may say too well in fact. A diamond file that will be used on a knife on a regular basis should probably (IMHO) be as fine as possible so as to not remove too much metal from the blade during sharpening. Of course in an emergency situation just about any metal file (diamond or otherwise) is going to be effective enough in sharpening a dull knife.
_________________________
Learn to improvise everything.