Subject: Re: bug#53623: [PATCH] gnu: mosh: Fix path to binaries.
From: Ludovic Courtès <[email-masked]>
To: Michael Rohleder <[email-masked]>
Cc: [email-masked], Leo Famulari <[email-masked]>, Thiago Jung Bauermann <[email-masked]>
Date: Mon, 07 Mar 2022 21:23:00 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Michael,

Michael Rohleder <[email-masked]> skribis:

> Ludovic Courtès <[email-masked]> writes:
>> So what’s the status of this patch?  :-)
>
> I can confirm that mosh(-server) works in a system profile.
> This patch would only save us a bash exec, not sure if it's worth it.

Alright, closing, but feel free to reopen if you change your mind.

Thanks,
Ludo’.