On Thu, Oct 25, 2012 at 12:51:59PM +0200, Joachim Schmitz wrote: > > But then I would think using /usr/local would be the sane thing to put > > there, if that is the closest to "standard" for your platform. > > OK, yes, hardcoding /usr/local seems OK too. > Would I need to re-roll? Please do. -Peff -- 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