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

docs/howto: search cuelang.org #1

Closed
jpluscplusm opened this issue Oct 10, 2023 · 1 comment
Closed

docs/howto: search cuelang.org #1

jpluscplusm opened this issue Oct 10, 2023 · 1 comment
Assignees
@jpluscplusm
Labels
content idea Idea for a new piece of content

Comments

@jpluscplusm
Copy link
Collaborator

jpluscplusm commented Oct 10, 2023 •
edited
Loading

STILL TODO

Link to the howto page from the widget on /search/ (tracked by cue-lang/cue#3753)

COMPLETE

As described in cue-lang/cue#2640, I'd like a page that demonstrates the search operators I have available, so that I can work out for myself how to search for tricky strings like -l. (completed by https://cuelang.org/cl/1206904)
@jpluscplusm jpluscplusm changed the title What search operators can I use? search: what search operators can I use? Oct 10, 2023
@jpluscplusm jpluscplusm mentioned this issue Oct 10, 2023
Closed
@myitcv myitcv added the reference For content that in the "reference" diataxis quadrant label Oct 11, 2023
@myitcv myitcv changed the title search: what search operators can I use? reference: explaining how to use search on the site Oct 11, 2023
@myitcv myitcv added the content idea Idea for a new piece of content label Oct 11, 2023
@jpluscplusm jpluscplusm self-assigned this Jan 8, 2025
cueckoo pushed a commit to cue-lang/cuelang.org-trybot that referenced this issue Jan 9, 2025
@jpluscplusm @cueckoo
docs/howto: search this site
1e72579 
This adds a page containing examples of search queries that the site's
search backend supports.

For cue-lang/docs-and-content#1, which is left open to track the
addition of a link to this page as part of the search widget on
/search/.

Preview-Path: /docs/howto/search-this-site/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: If35f3cac5eaff65450ac6b506e15cc49c1594cee
Dispatch-Trailer: {"type":"trybot","CL":1206904,"patchset":2,"ref":"refs/changes/04/1206904/2","targetBranch":"master"}
@jpluscplusm jpluscplusm removed the reference For content that in the "reference" diataxis quadrant label Jan 9, 2025
@jpluscplusm jpluscplusm changed the title reference: explaining how to use search on the site docs/howto: search cuelang.org Jan 9, 2025
cueckoo pushed a commit to cue-lang/cuelang.org-trybot that referenced this issue Jan 9, 2025
@jpluscplusm @cueckoo
docs/howto: search this site
24b8402 
This adds a page containing examples of search queries that the site's
search backend supports.

For cue-lang/docs-and-content#1, which is left open to track the
addition of a link to this page as part of the search widget on
/search/.

Preview-Path: /docs/howto/search-this-site/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: If35f3cac5eaff65450ac6b506e15cc49c1594cee
Dispatch-Trailer: {"type":"trybot","CL":1206904,"patchset":2,"ref":"refs/changes/04/1206904/2","targetBranch":"master"}
cueckoo pushed a commit to cue-lang/cuelang.org-trybot that referenced this issue Jan 9, 2025
@jpluscplusm
docs/howto: search this site
b244980 
This adds a page containing examples of search queries that the site's
search backend supports.

For cue-lang/docs-and-content#1, which is left open to track the
addition of a link to this page as part of the search widget on
/search/.

Preview-Path: /docs/howto/search-this-site/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: If35f3cac5eaff65450ac6b506e15cc49c1594cee
cueckoo pushed a commit to cue-lang/cuelang.org-trybot that referenced this issue Jan 9, 2025
@jpluscplusm @cueckoo
search: add a link to the search howto page
0234be5 
This adds a link from the site's search widget to a guide which
demonstrates the different search operators that the reader can use to
narrow down their search results.

The link is visible on /search/, as well as any page that embeds the
search widget (such as /docs/howto/). It is not visible in the page
header's search widget (because I'm not yet sure how to make that
change), but an equivalent link could probably be added to that popup
element if this link proves to be useful to users.

Closes cue-lang/docs-and-content#1.

Preview-Path: /search/
Preview-Path: /docs/howto/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: Ibe287f58295320141448574a1b91f8bd9ec00b14
Dispatch-Trailer: {"type":"trybot","CL":1206957,"patchset":1,"ref":"refs/changes/57/1206957/1","targetBranch":"master"}
cueckoo pushed a commit to cue-lang/cuelang.org-trybot that referenced this issue Jan 13, 2025
@jpluscplusm
docs/howto: search this site
1828f9e 
This adds a page containing examples of search queries that the site's
search backend supports.

For cue-lang/docs-and-content#1, which is left open to track the
addition of a link to this page as part of the search widget on
/search/.

Preview-Path: /docs/howto/search-this-site/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: If35f3cac5eaff65450ac6b506e15cc49c1594cee
cueckoo pushed a commit to cue-lang/cuelang.org-trybot that referenced this issue Jan 13, 2025
@jpluscplusm @cueckoo
search: add a link to the search howto page
cc353f3 
This adds a link from the site's search widget to a guide which
demonstrates the different search operators that the reader can use to
narrow down their search results.

The link is visible on /search/, as well as any page that embeds the
search widget (such as /docs/howto/). It is not visible in the page
header's search widget (because I'm not yet sure how to make that
change), but an equivalent link could probably be added to that popup
element if this link proves to be useful to users.

Also: remove a pointless redirect when the "search" link is used from
the site's 404 page.

Closes cue-lang/docs-and-content#1.

Preview-Path: /search/
Preview-Path: /docs/howto/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: Ibe287f58295320141448574a1b91f8bd9ec00b14
Dispatch-Trailer: {"type":"trybot","CL":1206957,"patchset":2,"ref":"refs/changes/57/1206957/2","targetBranch":"master"}
cueckoo pushed a commit to cue-lang/cuelang.org-trybot that referenced this issue Jan 13, 2025
@jpluscplusm @cueckoo
docs/howto: search this site
26cf4a5 
This adds a page containing examples of search queries that the site's
search backend supports.

For cue-lang/docs-and-content#1, which is left open to track the
addition of a link to this page as part of the search widget on
/search/.

Preview-Path: /docs/howto/search-this-site/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: If35f3cac5eaff65450ac6b506e15cc49c1594cee
Dispatch-Trailer: {"type":"trybot","CL":1206904,"patchset":3,"ref":"refs/changes/04/1206904/3","targetBranch":"master"}
cueckoo pushed a commit to cue-lang/cuelang.org-trybot that referenced this issue Feb 3, 2025
@jpluscplusm @cueckoo
docs/howto: search this site
ee0123e 
This adds a page containing examples of search queries that the site's
search backend supports.

For cue-lang/docs-and-content#1, which is left open to track the
addition of a link to this page as part of the search widget on
/search/.

Preview-Path: /docs/howto/search-this-site/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: If35f3cac5eaff65450ac6b506e15cc49c1594cee
Dispatch-Trailer: {"type":"trybot","CL":1206904,"patchset":4,"ref":"refs/changes/04/1206904/4","targetBranch":"master"}
cueckoo pushed a commit to cue-lang/cuelang.org-trybot that referenced this issue Feb 3, 2025
@jpluscplusm @cueckoo
docs/howto: search this site
938f6cf 
This adds a page containing examples of search queries that the site's
search backend supports.

For cue-lang/docs-and-content#1, which is left open to track the
addition of a link to this page as part of the search widget on
/search/.

Preview-Path: /docs/howto/search-this-site/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: If35f3cac5eaff65450ac6b506e15cc49c1594cee
Dispatch-Trailer: {"type":"trybot","CL":1206904,"patchset":6,"ref":"refs/changes/04/1206904/6","targetBranch":"master"}
cueckoo pushed a commit to cue-lang/cuelang.org that referenced this issue Feb 4, 2025
@jpluscplusm
docs/howto: search this site
6ad27de 
This adds a page containing examples of search queries that the site's
search backend supports.

For cue-lang/docs-and-content#1, which is left open to track the
addition of a link to this page as part of the search widget on
/search/.

Preview-Path: /docs/howto/search-this-site/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: If35f3cac5eaff65450ac6b506e15cc49c1594cee
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cuelang.org/+/1206904
TryBot-Result: CUEcueckoo <[email protected]>
Reviewed-by: Paul Jolly <[email protected]>
@jpluscplusm
Copy link
Collaborator Author

Closing in favour of frontend issue cue-lang/cue#3753.

@github-project-automation github-project-automation bot moved this from Backlog to Done in Docs and Content Roadmap Feb 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jpluscplusm jpluscplusm

Labels
content idea Idea for a new piece of content
Projects
Docs and Content Roadmap
Status: Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jpluscplusm @myitcv