Re: How to make sure ghc uses installed packages?

2019-09-16 Thread John Soo
Hi Jesse, > GHC_PACKAGE_PATH did > not change, even when I uninstalled > everything, so I suspected it was > linked to a login script. Ok yes. That is the state of affairs right now. The environment variables are sourced in the login profile. You can find the variables using guix package --se

[close] Re: Failed to autoload make-page-map in (charting)

2019-09-16 Thread 刘力铭
Yes, you are right, ci.guix.gnu.org can serve as a substitute url even ping it result in 100% package loss and this time installation process successfully finished. This thread should be closed.

Re: How to make sure ghc uses installed packages?

2019-09-16 Thread Jesse Gibbons
On Mon, 2019-09-16 at 17:00 -0700, John Soo wrote: > Hi Jesse, > > > Can somebody help me out please? > > I can try! > > Can get the contents of $GHC_PACKAGE_PATH please? Guix uses this > environment variable that is recognized by the ghc toolchain to tell > ghc where packages are installed. >

Re: How to make sure ghc uses installed packages?

2019-09-16 Thread John Soo
Hi Jesse, > Can somebody help me out please? I can try! Can get the contents of $GHC_PACKAGE_PATH please? Guix uses this environment variable that is recognized by the ghc toolchain to tell ghc where packages are installed. What happens if you try to load your file in ghci instead of using ru

How to make sure ghc uses installed packages?

2019-09-16 Thread Jesse Gibbons
I'm trying Conrad Barski's haskell tutorial[1] but it looks like runhaskell cannot find a few packages that will be necessary in the tutorial. [1]:http://lisperati.com/haskell/ I installed ghc, ghc-random and ghc-regex-compat. I typed up the program as instructed. Then I ran "runhaskell tutorial.hs

Defining service: service does not take effect after rebooting

2019-09-16 Thread Hebi Li
Hi Guix, I'm defining a service, and the service works. However, when I reboot the system, the service does not work, and I have to reconfigure the system to make it work again. The detailed steps I'm following are as attacked below. Is there anything I'm missing? Thanks, Hebi The de

Re: Failed to autoload make-page-map in (charting)

2019-09-16 Thread Ricardo Wurmus
刘力铭 writes: >> Note that mirror.hydra.gnu.org is defunct. You should use >> ci.guix.gnu.org, which is the only build farm that is provided by the >> Guix project. > > Sadly, my network provider block ci.guix.gnu.org (I'm in mainland China)... > Is there a mirror for ci.guix.gnu.org? I just fou

Re: Getting network-manager-openconnect to work

2019-09-16 Thread Ludovic Courtès
Hi Florian, "pelzflorian (Florian Pelz)" skribis: > On Wed, Sep 11, 2019 at 10:46:56PM +0200, Ludovic Courtès wrote: >> Something I don’t get: why does NM itself know about openconnect? >> >> There’s a network-manager-openconnect plugin, so I would expect >> everything openconnect to happen the

Re: Getting network-manager-openconnect to work

2019-09-16 Thread pelzflorian (Florian Pelz)
On Mon, Sep 16, 2019 at 05:57:51PM +0200, Ludovic Courtès wrote: > So I guess we first need someone to tell us whether the patch “works”, > as you wrote, right? :-) > > Ludo’. Currently I have built the attached patch, but NetworkManager segfaults when connecting, and I try to debug why. Regard

Re: Failed to autoload make-page-map in (charting)

2019-09-16 Thread 刘力铭
> >> Note that mirror.hydra.gnu.org is defunct. You should use > >> ci.guix.gnu.org, which is the only build farm that is provided by the > >> Guix project. > > > > Sadly, my network provider block ci.guix.gnu.org (I'm in mainland China)... > > Is there a mirror for ci.guix.gnu.org? I just found s

Re: bug#37369: Getting network-manager-openconnect to work

2019-09-16 Thread pelzflorian (Florian Pelz)
On Tue, Sep 10, 2019 at 01:21:20PM +0200, pelzflorian (Florian Pelz) wrote: > I suspect something like the attached patch would help (and expand the > closure of network-manager to always include openconnect). > Sorry, my old patch did not even build. A friend lent me her AnyConnect credentials

Re: Failed to autoload make-page-map in (charting)

2019-09-16 Thread 宋文武
刘力铭 writes: >> Note that mirror.hydra.gnu.org is defunct. You should use >> ci.guix.gnu.org, which is the only build farm that is provided by the >> Guix project. > > Sadly, my network provider block ci.guix.gnu.org (I'm in mainland China)... > Is there a mirror for ci.guix.gnu.org? I just found

Re: Failed to autoload make-page-map in (charting)

2019-09-16 Thread 刘力铭
> Note that mirror.hydra.gnu.org is defunct. You should use > ci.guix.gnu.org, which is the only build farm that is provided by the > Guix project. Sadly, my network provider block ci.guix.gnu.org (I'm in mainland China)... Is there a mirror for ci.guix.gnu.org? I just found some mirrors for hydr

Re: Failed to autoload make-page-map in (charting)

2019-09-16 Thread Ricardo Wurmus
Hi, > I'm installing Gnu GuixSD on a machine with a configuration slightly > changed from "bare bones" and using `guix-daemon --cores=8 > --max-jobs=8 --substitute-urls="https://mirror.hydra.gnu.org"` Note that mirror.hydra.gnu.org is defunct. You should use ci.guix.gnu.org, which is the only

Failed to autoload make-page-map in (charting)

2019-09-16 Thread 刘力铭
I'm installing Gnu GuixSD on a machine with a configuration slightly changed from "bare bones" and using `guix-daemon --cores=8 --max-jobs=8 --substitute-urls="https://mirror.hydra.gnu.org"` to get a faster networking speed. But `guix system --skip-checks init /mnt/etc/config.scm /mnt` gives me