There are numerous ways to sharpen tools: an angle grinder, bench grinder, or grindstone just to name a few. But often all you need is a file. It's inexpensive and gives you greater control than a ...