Change default port 4000 when using `daml ledger navigator`

Questions
2

daml ledger navigator passes all additional arguments down to the underlying daml navigator command. This is a bit tricky here since daml ledger navigator also takes a --port flag itself which specifies the port of the ledger while daml navigator takes a --port flag that specifies the port of Navigator.

  1. If you already have a --port flag, you can add the Navigator port as a second flag via daml ledger navigator --host ledgerhost --port ledgerport --port navigatorport.
  2. If you don’t have a --port flag, you need to add a bit of -- to make sure that daml ledger navigator passes the --port flag down instead of interpreting it itself. Somewhat confusingly you need two here so daml ledger navigator -- -- --port navigatorport works. I’ll see if we can make that a bit less confusing.
5 Likes