It may make sense to make the "binaries" directory for a server editable.

Currently, the binary directory is configured when creating a server. It's usually of the form /Applications/Postgres.app/Contents/Versions/17. It can be different when Postgres.app is not installed in the /Applications directory.

There is currently no way to edit this directory after a server has been created. If you want to change it, you need to create a new server.

Postgres.app has some logic that tries to automatically update the binary directory if you move the Postgres.app application.

Motivation

• if you want to run a server with different binaries (eg. older version) you could do this by selecting a different binaries directory
• would probably also be very useful if we add support for custom binaries (Add support for custom binaries #806)