This is by far the best approach, yes :) My point was more to show a way this particular user could have achieved the same result without their problem. Plus,

This is by far the best approach, yes :) My point was more to show a way this particular user could have achieved the same result without their problem. Plus, we can't expect users to know all the system tools, this is a good way to isolate "user space" from "system space", so I guess taking the habit to use aliases rather than putting things in `/usr/local/bin/` makes sense by itself (except when we want indeed to override an executable provided by system, or we want indeed to provide a new system tool).