Hello, Thank you for the reply. I don't feel comfortable using GNU info, as opposed to reading the web page/PDF, as I have never used Emacs before.
About the server going online again, I can't still access them, and I am forced to choose between using a free web proxy service, which isn't really convenient, versus using GNU info, which I am struggling to use. Is there a way to diagnose this issue? Here's the log when I try to ping https://guix.gnu.org: ```console $ ping -c 5 guix.gnu.org PING guix.gnu.org (185.233.100.56): 56 data bytes --- guix.gnu.org ping statistics --- 5 packets transmitted, 0 packets received, 100% packet loss ``` Regards. On Wed, May 22, 2024 at 5:22 AM Felix Lechner <felix.lech...@lease-up.com> wrote: > > Hi Ashvith, > > On Sun, May 19 2024, Ashvith Shetty wrote: > > > I do not have access to the manual page on the web anymore. How can I > > get access to these manuals once again? > > The manuals are probably on your hard drive. Please use C-h R in Emacs > or use your favorite stand-alone info reader. > > Expert tip: Use 'i' to search the index. > > > https://bordeaux.guix.gnu.org, which was the fastest and also, the > > primary mirror for my use, has completely stopped working for me. > > We have some temporary service issues, which are detailed here: > > https://lists.gnu.org/archive/html/info-guix/2024-05/msg00000.html > > Thanks for using Guix! > > Kind regards > Felix
