Merge pull request #1742 from gerhard/europa-docs-default

Default docs to Europa
This commit is contained in:
Andrea Luzzardi 2022-03-09 14:38:41 -08:00 committed by GitHub
commit 1d6f0acdd2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 8 deletions

View File

@ -1,5 +1,5 @@
---
slug: /1200/local-dev
slug: /
displayed_sidebar: europa
---

View File

@ -1,5 +1,5 @@
---
slug: /
slug: /1200/what/
---
# What is Dagger?

View File

@ -66,8 +66,8 @@ module.exports = {
},
{
type: "link",
label: "🆕 Dagger Europa 🆕",
href: "/1200/local-dev",
label: "Dagger 0.2 ➡️",
href: "/",
},
],
europa: [
@ -90,9 +90,7 @@ module.exports = {
"core-concepts/plan",
"core-concepts/client",
"core-concepts/secrets",
"core-concepts/caching",
"core-concepts/container-images",
"core-concepts/packages",
],
},
{
@ -107,8 +105,8 @@ module.exports = {
},
{
type: "link",
label: "🕸 pre-Europa 🕸",
href: "/",
label: "⬅️ Dagger 0.1",
href: "/1200/what/",
},
],
};