Skip to content

Rename the host_defaults and options config fields#2883

Merged
stevenengler merged 1 commit intoshadow:mainfrom
stevenengler:rename-host-options
Apr 19, 2023
Merged

Rename the host_defaults and options config fields#2883
stevenengler merged 1 commit intoshadow:mainfrom
stevenengler:rename-host-options

Conversation

@stevenengler
Copy link
Copy Markdown
Contributor

@stevenengler stevenengler commented Apr 19, 2023

#2065 (comment)

top-level field "host_defaults" -> "host_option_defaults"
host field "options" -> "host_options"

Closes #2065.

@stevenengler stevenengler self-assigned this Apr 19, 2023
@github-actions github-actions bot added Component: Documentation In-repository documentation, under docs/ Component: Main Composing the core Shadow executable Component: Testing Unit and integration tests and frameworks labels Apr 19, 2023
@stevenengler stevenengler requested a review from sporksmith April 19, 2023 19:37
@stevenengler stevenengler merged commit 83d0fcf into shadow:main Apr 19, 2023
@stevenengler stevenengler deleted the rename-host-options branch April 19, 2023 20:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@sporksmith sporksmith sporksmith approved these changes

Assignees

@stevenengler stevenengler

Labels

Component: Documentation In-repository documentation, under docs/ Component: Main Composing the core Shadow executable Component: Testing Unit and integration tests and frameworks

Projects

None yet

Milestone

Code health and maintenance

Development

Successfully merging this pull request may close these issues.

Rename host_defaults configuration field

2 participants

@stevenengler @sporksmith