From d4ccedef649c3c4e0563f751cf9f716f5d8bd10e Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Mon, 19 Jul 2021 11:10:22 +0200
Subject: [PATCH] [web] Moved docker to environments section.
---
web/config/_default/config.toml | 11 ++++++++---
.../devguide/{advanced => environments}/docker.md | 4 +++-
2 files changed, 11 insertions(+), 4 deletions(-)
rename web/content/docs/devguide/{advanced => environments}/docker.md (97%)
diff --git a/web/config/_default/config.toml b/web/config/_default/config.toml
index 7fe78d5f748..94969d95e29 100644
--- a/web/config/_default/config.toml
+++ b/web/config/_default/config.toml
@@ -41,20 +41,25 @@ name = "Third-party packages"
identifier = "packages"
weight = 4
+[[menu.devguide]]
+name = "Execution Environments"
+identifier = "environments"
+weight = 5
+
[[menu.devguide]]
name = "Advanced"
identifier = "advanced"
-weight = 5
+weight = 6
[[menu.devguide]]
name = "Troubleshooting"
identifier = "troubleshooting"
-weight = 6
+weight = 7
[[menu.devguide]]
name = "Procedures"
identifier = "procedures"
-weight = 7
+weight = 8
# Benchmarks sidebar top-level categories
[[menu.benchmarks]]
diff --git a/web/content/docs/devguide/advanced/docker.md b/web/content/docs/devguide/environments/docker.md
similarity index 97%
rename from web/content/docs/devguide/advanced/docker.md
rename to web/content/docs/devguide/environments/docker.md
index 06a840b1771..79720746f74 100644
--- a/web/content/docs/devguide/advanced/docker.md
+++ b/web/content/docs/devguide/environments/docker.md
@@ -4,9 +4,11 @@ title = "Docker"
author = "Lars Bilke"
weight = 1035
+aliases = ["/docs/devguide/advanced/docker"]
+
[menu]
[menu.devguide]
- parent = "advanced"
+ parent = "environments"
+++
## Introduction
--
GitLab