Skip to content
This repository has been archived by the owner on Jan 31, 2022. It is now read-only.

Include link to playground in the documentation site #110

Closed
anik120 opened this issue Aug 31, 2020 · 1 comment · Fixed by #153
Closed

Include link to playground in the documentation site #110

anik120 opened this issue Aug 31, 2020 · 1 comment · Fixed by #153

Comments

@anik120
Copy link

anik120 commented Aug 31, 2020

I was trying to find the link to the playground for CUE, and doesn't look like it's easiest to find. Including a link to the CUE playground in the documentation site can help readers find the CUE playground faster.

myitcv added a commit that referenced this issue Mar 12, 2021
Alongside the "Documentation", "Community" and "GitHub" links.

In order that this also works for tip.cuelang.org, move to using
configuration directories per:

Per https://gohugo.io/getting-started/configuration/

This allows us then to have a different Play link for tip.cuelang.org.

Fixes #110
myitcv added a commit that referenced this issue Mar 12, 2021
Alongside the "Documentation", "Community" and "GitHub" links.

In order that this also works for tip.cuelang.org, move to using
configuration directories per:

Per https://gohugo.io/getting-started/configuration/

This allows us then to have a different Play link for tip.cuelang.org.

Fixes #110
@cueckoo
Copy link

cueckoo commented Jul 3, 2021

This issue has been migrated to https://github.com/cue-lang/cuelang.org/issues/110.

For more details about CUE's migration to a new home, please see cue-lang/cue#1078.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants