(I've considered updating the /etc/hosts file for this purpose, but the permissions on that file are making me think that's not the right way to go.)

Can your REPL not write the port number to a file somewhere? That’s basically the exact use case of the port files.

I can write the port, but it's the hostname/ip address that is dynamic.

Oh, I see. I guess one possibility would be to read a full URL from a file, instead of just a port?

Is this for nREPL or for a socket REPL?

It's a socket REPL

running in ECS, hence I don't always know what IP address I'm going to get

A full URL would work

Yeah, that makes sense. So you could write a file from whatever’s starting the server?

I could absolutely do that.

Ok. I’ll check over in the tooling group to see if anyone is already doing anything like this, and I’ll add something for the next build.

Amazing!

Did anything ever come of this?

I guess it might relate to this issue: https://github.com/cursive-ide/cursive/issues/2559

So nothing came of it yet, sorry, I asked in the dev-tooling group here if anyone was doing anything similar and got no response. That issue looks perfect, I’ve moved that one into the latest release and will get to it soon.

Sorry for the delay on this one, this fix is out in the latest EAP, let me know if it’s doing what you need it to.

ooh, thank you. I'll take a look soon...

Yes, that's just the ticket, thank you!