Jon Seymour wrote: > If git supported the concept of a standard place to put extensions, > then it could be as simple as: > > unzip -d $(git --plugins-dir) plugin.zip > > with no need to configure or choose a prefix and no need to edit the > an .profile or .bashrc to permanently add a directory to the PATH. Why not use "/usr/local" in place of "git --plugins-dir"? (I can think of one answer --- namely root privileges --- but it would apply to any system with one standard place to put extensions.) -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html