On Wednesday, 29 January 2020 18:23:27 UTC, Tim+ wrote:
I have a ceramic knife that I use a lot but its definitely beginning to
lose its edge.

Are they worth sharpening, and if so, whats the best tool? Diamond file?
If so, what grade?

Tim

Diamond. A set of 3 in different grits is a good plan.