GNU bug report logs - #71281
[mumi] [PATCH] README.org: Update instructions to run mumi locally.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Arun Isaac <arunisaac <at> systemreboot.net>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#71281: closed ([mumi] [PATCH] README.org: Update instructions
 to run mumi locally.)
Date: Fri, 07 Jun 2024 22:16:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Fri, 07 Jun 2024 23:14:32 +0100
with message-id <8734poh03b.fsf <at> systemreboot.net>
and subject line Re: [mumi] [PATCH] README.org: Update instructions to run mumi locally.
has caused the debbugs.gnu.org bug report #71281,
regarding [mumi] [PATCH] README.org: Update instructions to run mumi locally.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
71281: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71281
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Luis Felipe <sirgazil <at> zoho.com>
To: guix-patches <at> gnu.org
Subject: [mumi] [PATCH] README.org: Update instructions to run mumi locally.
Date: Thu, 30 May 2024 21:09:13 +0000

[Message part 3 (text/plain, inline)]

Hi,

The current instructions in the README don't seem to be enough to run mumi.

I'm attaching a patch with the instructions that worked for me (thanks 
to Felix Lechner for directions).

Cheers,

-- 
Luis Felipe López Acevedo
https://luis-felipe.gitlab.io/

[0001-README.org-Update-instructions-to-run-mumi-locally.patch (text/x-patch, attachment)]

[OpenPGP_0x0AB0D067012F08C3.asc (application/pgp-keys, attachment)]

[OpenPGP_signature (application/pgp-signature, attachment)]

[Message part 7 (message/rfc822, inline)]

From: Arun Isaac <arunisaac <at> systemreboot.net>
To: 71281-done <at> debbugs.gnu.org
Cc: Luis Felipe <sirgazil <at> zoho.com>
Subject: Re: [mumi] [PATCH] README.org: Update instructions to run mumi
 locally.
Date: Fri, 07 Jun 2024 23:14:32 +0100

Applied, thanks!

I made a small modification to the final `mumi web' command so that the
web server listens on localhost.

Previous Next

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