bug#71281: closed ([mumi] [PATCH] README.org: Update instructions to run mumi locally.)

[GNU bug Tracking System]

Your message dated Fri, 07 Jun 2024 23:14:32 +0100
with message-id <8734poh03b.fsf@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@gnu.org.)


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

--- Begin Message --- Subject: [mumi] [PATCH] README.org: Update instructions to run mumi locally. Date: Thu, 30 May 2024 21:09:13 +0000 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.15.0

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
Description: Text Data

OpenPGP_0x0AB0D067012F08C3.asc
Description: OpenPGP public key

OpenPGP_signature
Description: OpenPGP digital signature

--- End Message ---

> --- Begin Message ---
>
>
>
> 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.
>
>
> --- End Message ---