Re: [GNUnet-developers] [PATCH] minor fix on installation instructions

2019-08-20 Thread Christian Grothoff
Thanks, I've applied your patches (or the parts I had overlooked just before ;-)). -Christian On 8/20/19 12:51 AM, Marcos Marado wrote: > On the website: > > Three of the instalation guides were missing a line break in a list > of commands. > > Furthermore, the Ubuntu guide, in one set of

[GNUnet-developers] [PATCH] minor fix on installation instructions

2019-08-19 Thread Marcos Marado
On the website: Three of the instalation guides were missing a line break in a list of commands. Furthermore, the Ubuntu guide, in one set of instructions, was using an env variable without defining it. Attached is a patch fixing these. The same patch can be found on github[1][2], if that makes