Skip to content

Document and recommend default_server_name#8832

Merged
jryans merged 1 commit intodevelopfrom
jryans/default-server-name
Feb 21, 2019
Merged

Document and recommend default_server_name#8832
jryans merged 1 commit intodevelopfrom
jryans/default-server-name

Conversation

@jryans
Copy link
Copy Markdown
Collaborator

@jryans jryans commented Feb 20, 2019

This the recommended way to define a default server (instead of the existing HS
and IS URL options). It will use .well-known discovery to find the URLs.

See #8763.

This the recommended way to define a default server (instead of the existing HS
and IS URL options). It will use `.well-known` discovery to find the URLs.

See #8763.
@jryans jryans requested a review from a team February 20, 2019 17:54
@turt2live turt2live self-assigned this Feb 20, 2019
@alexte
Copy link
Copy Markdown

alexte commented Mar 28, 2019

neither config.sample.json nor https://riot.im/develop/config.json has default_server_name.
If this is the new default it should be at least in config.sample.json

@jryans
Copy link
Copy Markdown
Collaborator Author

jryans commented Mar 29, 2019

neither config.sample.json nor https://riot.im/develop/config.json has default_server_name.
If this is the new default it should be at least in config.sample.json

We're planning some future improvements in this area that may continue to morph the config structure. For config.sample.json, we'll probably rely on a script like this going forward.

@t3chguy t3chguy deleted the jryans/default-server-name branch May 12, 2022 09:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants