master: Difference between revisions

From OpenKore Wiki
Jump to navigation Jump to search
m (Created page with '; master [<server name>] : This option specifies what master server Kore should log in to (whether you want Kore to login to iRO, oRO, pRO, etc.). See tables\servers.txt for a li…')
 
m (Conversion script moved page Master to master: Converting page titles to lowercase)
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
; master [<server name>]
; master <server name>
: This option specifies what master server Kore should log in to (whether you want Kore to login to iRO, oRO, pRO, etc.). See tables\servers.txt for a list of valid master server names (those names enclosed in square brackets "[ ]").
: Master server name. Corresponds to server's configuration section name in [[servers.txt]].


Note: You don't have to set this option. If you leave it empty, Kore will automatically ask you to select a master server from a list at startup.
== Notes ==
 
{{WillBeAsked}}
 
== Developer Notes ==
 
Do not ever change section names in servers.txt since it's used in users' configurations. If you want to update displayed server title, rather implement new optional server option, say '''title''', which would be displayed instead of server's name if set, and use it to have up to date server titles. [[Category:Feature Request]]


[[Category:config.txt]]
[[Category:config.txt]]
[[Category:connection]]
[[Category:connection]]

Latest revision as of 22:34, 26 April 2021

master <server name>
Master server name. Corresponds to server's configuration section name in servers.txt.

Notes

You don't have to set this option. If you leave it empty, OpenKore will ask you for you to choose when needed, providing short tip and/or list of possible values.

Developer Notes

Do not ever change section names in servers.txt since it's used in users' configurations. If you want to update displayed server title, rather implement new optional server option, say title, which would be displayed instead of server's name if set, and use it to have up to date server titles.