On Tuesday, October 13, 2020, Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote: > 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. Awesome, done.