On Thu, Sep 01, 2022 at 09:59:55AM -0400, Thompson, David wrote:
> Hi all,
>
> Reviving this old thread.
>
> On Mon, Mar 28, 2022 at 2:51 AM Efraim Flashner wrote:
> > >
> > > Seems like all we have to do is 'substitute*' a '/usr/bin/svnserve'
> > > into a '/gnu/store/...' (untested), so seems
Hi all,
Reviving this old thread.
On Mon, Mar 28, 2022 at 2:51 AM Efraim Flashner wrote:
> >
> > Seems like all we have to do is 'substitute*' a '/usr/bin/svnserve'
> > into a '/gnu/store/...' (untested), so seems actionable to me.
> > Alternatively, as Efraim wrote, let it search the $PATH
