On 10/22/2015 05:34 AM, Daniel Shahaf wrote:
Not sure. Perhaps there could be some nice surprise that I haven't thought of butWhere does it highlight? Just at the command line? Or perhaps other situations to? It only highlights commands that are typed into interactive shells. What "other situations" do you have in mind?
I'd expect only typed commands, as you say.