GNU bug report logs - #53623
[PATCH] gnu: mosh: Fix path to binaries.

Previous Next

Full log

Message #37 received at 53623-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Michael Rohleder <mike <at> rohleder.de>
Cc: 53623-done <at> debbugs.gnu.org, Leo Famulari <leo <at> famulari.name>,
 Thiago Jung Bauermann <bauermann <at> kolabnow.com>
Subject: Re: bug#53623: [PATCH] gnu: mosh: Fix path to binaries.
Date: Mon, 07 Mar 2022 21:23:00 +0100

Hi Michael,

Michael Rohleder <mike <at> rohleder.de> skribis:

> Ludovic Courtès <ludo <at> gnu.org> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.