Hi, thanks for the reply Felix... GUIX is not installed yet , I am stuck during the installation process... So I have no WM or graphical desktop installed yet.. Opening a console during installation process just leaves me few options: - I can use ifconfig or ip programs - ping & telnet - traceroute but I don't think that wget or curl is available at this time (I will double check) DNS resolution seems ok, I can ping google.com or kernel.org Where are the log files for the installer (if any available)?
Thanks for your support On Wed, Feb 22, 2023 at 8:03 PM Felix Lechner <[email protected]> wrote: > Hi, > > On Wed, Feb 22, 2023 at 9:34 AM jerome moliere <[email protected]> > wrote: > > > > I just bought a refurbished machine (T440P) with Coreboot > > Congratulations on your commitment to free software! > > > This wifi chipset is recognized > > but activating it fails during ESSID pairing (bad password)... > > Do you use GNOME or NetworkManager to connect? > > > ping > > works nicely inside my LAN or for public domains) but network step > finish > > with RED screen saying my network is unable to provide access to > > substitutes (git repos for GUIX ?) while github is resolved in > console... > > You may have a DNS or firewall issue. Did you configure your router to > suggest 8.8.8.8 and 8.8.4.4 as default name servers for clients? > > Please also try wget or curl on a known URL. > > Finally, make sure you have ca-certificates installed (for TLS). > > > I wondered if someone runs Coreboot with GUIX ? > > Since you are already in Guix (or in the installer) I do not believe > your BIOS plays any role in your technical issues. > > Kind regards > Felix Lechner > -- J.MOLIERE - Mentor/J
