On Wed, Oct 14, 2020 at 1:10 AM Cole Poirier <colepoirier at gmail.com> wrote: > Wondering if we can change the 'develop' command in the Makefile to > use --user so one doesn't need root to install. pffh, sure.