On 2013-11-30 09:29, Gleb Smirnoff wrote: > Ilya, > Shouldn't /usr/local/bin be earlier in your $PATH than /usr/bin? The system is shipped with .dot files that have /usr/local/bin _after_ /usr/bin. I agree that that is not optimal. Maybe it's not too late to change this?