Email or username:

Password:

Forgot your password?
Top-level
Andrew Tropin

@mbcladwell One of the reasons we don't release Arei 1.0 is because guile is not yet updated in guix, so it requires some hussle to setup correctly: rebuilding guix and other packages with guile-next to work with ares, carefully setting apropriate load paths and so on.

4 comments
mbcladwell

@abcdw
Here I start the server without specifying #:port:

mbc@ins3910:~$ guix shell guile-next guile-ares-rs -- \
guile -c '((@ (ares server) run-nrepl-server))'
nREPL server started on port 7888 on host localhost - nrepl://localhost:7888

again:

mbc@ins3910:~$ guix shell guile-next guile-ares-rs
mbc@ins3910:~ [env]$ guile -c '((@ (ares server) run-nrepl-server))'
nREPL server started on port 62181 on host localhost - nrepl://localhost:62181

again:

mbc@ins3910:~$ guix shell guile-next guile-ares-rs
mbc@ins3910:~ [env]$ guile -c '((@ (ares server) run-nrepl-server))'
nREPL server started on port 51474 on host localhost - nrepl://localhost:51474

again:

mbc@ins3910:~$ guix shell guile-next guile-ares-rs -- guile -c '((@ (ares server) run-nrepl-server))'
nREPL server started on port 7888 on host localhost - nrepl://localhost:7888

As a one liner or with the bash continuation I always get port 7888
Split into two commands I always get a random port. Is this expected?
I thought bash \ was simply continue command on next line but here it seems to affect behavior.
I do get a ~/.nrepl-port file containing the port ID but when I start emacs it seems to ignore it and always looks to port 7888, which is why I thought I need to specify with #:port

@abcdw
Here I start the server without specifying #:port:

mbc@ins3910:~$ guix shell guile-next guile-ares-rs -- \
guile -c '((@ (ares server) run-nrepl-server))'
nREPL server started on port 7888 on host localhost - nrepl://localhost:7888

again:

mbc@ins3910:~$ guix shell guile-next guile-ares-rs
mbc@ins3910:~ [env]$ guile -c '((@ (ares server) run-nrepl-server))'
nREPL server started on port 62181 on host localhost - nrepl://localhost:62181

Andrew Tropin

@mbcladwell I can't reproduce this behavior it seems the environment is somewhat messed up.

7888 default port is provided by an old ares version.

Check `which guile` you are running, what is in your GUILE_LOAD_PATH, what version of guile `guile --version`.

youtu.be/kPnn22aC5eQ?t=19

It must always be a random port.

If your arei don't pick up a port from .nrepl-port it's maybe because you arei version doesn't support it (guix has old arei), you can C-u C-c C-s C-s to connect with custom port.

@mbcladwell I can't reproduce this behavior it seems the environment is somewhat messed up.

7888 default port is provided by an old ares version.

Check `which guile` you are running, what is in your GUILE_LOAD_PATH, what version of guile `guile --version`.

youtu.be/kPnn22aC5eQ?t=19

It must always be a random port.

mbcladwell

@abcdw
I am using guix provided ares/arei
As long as I specify port 7888 (or use one line commands) everything seems to work wrt evaluation so good enough for playing with and evaluating.
Thanks
Mortimer

mbc@ins3910:~$ which guile
/home/mbc/.guix-profile/bin/guile
mbc@ins3910:~$ guile -v
guile (GNU Guile) 3.0.99-git
Copyright (C) 2024 Free Software Foundation, Inc.

License LGPLv3+: GNU LGPL 3 or later <gnu.org/licenses/lgpl.html>.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
mbc@ins3910:~$ echo $GUILE_LOAD_PATH
/home/mbc/.guix-profile/share/guile/site/3.0:/home/mbc/.guix-profile/share/guile/3.0

@abcdw
I am using guix provided ares/arei
As long as I specify port 7888 (or use one line commands) everything seems to work wrt evaluation so good enough for playing with and evaluating.
Thanks
Mortimer

mbc@ins3910:~$ which guile
/home/mbc/.guix-profile/bin/guile
mbc@ins3910:~$ guile -v
guile (GNU Guile) 3.0.99-git
Copyright (C) 2024 Free Software Foundation, Inc.

Andrew Tropin

@mbcladwell I mean guile version inside `guix shell`, they must be different from what you have in you default profile.

No problem.

Wait a bit for Arei 1.0, there are so much quality of life improvements in it :)

Go Up