I’m using Lima’s default method of auto finding a free SSH forwarding port. It’s good because you don’t have to worry about manually setting it or having conflicts with multiple machines, but it does mean the port isn’t stable.
For things that trellis-cli can control (like trellis db open, which I’ll fix soon), it will automatically use the generated inventory file ensuring everything works. But for external tools like sync script, it does mean you need to update the port manually each time 
Maybe I could make an SSH port option if people want to hard code it?