Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Egeria website - search not available (mkdocs 9) #659

Closed
planetf1 opened this issue Jan 3, 2023 · 3 comments
Closed

Egeria website - search not available (mkdocs 9) #659

planetf1 opened this issue Jan 3, 2023 · 3 comments
Assignees
@planetf1

Comments

@planetf1
Copy link
Member

planetf1 commented Jan 3, 2023

The 'search' area has gone from the egeria docs home page. (thanks @davidradl )

This seems to be a mkdocs-material 8.5.3 -> 9.0.1 regression

See also #653 where we noticed navigation broke with unquoted numerics - subsequently fixed by a) quoting b) a fix in mkdocs-material c) refactoring of our docs
@planetf1 planetf1 self-assigned this Jan 3, 2023
@planetf1 planetf1 mentioned this issue Jan 3, 2023
Merged
@planetf1 planetf1 changed the title Egeria website - search not available (mkdocs 8) Egeria website - search not available (mkdocs 9) Jan 3, 2023
@planetf1
Copy link
Member Author

planetf1 commented Jan 3, 2023

Will backoff 9.0.x until search issue resolved.

@davidradl
Copy link
Member

It is working now after you restored it to the last version. Thanks @planetf1

planetf1 added a commit to planetf1/egeria-docs that referenced this issue Jan 3, 2023
@planetf1
odpi#659 Fix headers for mkdocs-material 9.x (remove custom)
0630d0a 
Signed-off-by: Nigel Jones <nigel.l.jones+git@gmail.com>
planetf1 added a commit to planetf1/egeria-docs that referenced this issue Jan 3, 2023
@planetf1
odpi#659 re-merge custom header for page title display
041b867 
Signed-off-by: Nigel Jones <nigel.l.jones+git@gmail.com>
planetf1 added a commit that referenced this issue Jan 3, 2023
@planetf1
Merge pull request #662 from planetf1/main
0255108 
#659 re-merge custom header for page title display
@planetf1
Copy link
Member Author

planetf1 commented Jan 3, 2023

@davidradl That was the quick update to get working. I've fixed the underlying issue - which was caused by our custom header template . Now back at the default level (9.0.1).

Closing

@planetf1 planetf1 closed this as completed Jan 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@planetf1 planetf1

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@planetf1 @davidradl