From 91e4ce291b3089edbde3178b2ffe51f474254ef8 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Mon, 7 Oct 2024 12:40:43 +0200
Subject: [PATCH] Adding repo gitlab icon to the spec page
---
spec_on_pages.sh | 7 +++++++
toMkdocs/mkdocs.yml | 5 +++++
2 files changed, 12 insertions(+)
diff --git a/spec_on_pages.sh b/spec_on_pages.sh
index 1f832e7..4f1621a 100644
--- a/spec_on_pages.sh
+++ b/spec_on_pages.sh
@@ -48,7 +48,14 @@ cat _nav.yml
echo " - '': 'index.md'" >> mkdocs.yml
cat _nav.yml >> mkdocs.yml
cp docs/0.md docs/index.md
+repo_url="https://${3}/${4}.git"
+echo ${repo_url}
sed -i 's/##PROJECT/'${9^^}'/g' mkdocs.yml
+repo_url=$(echo ${repo_url} | sed 's/\//\\\//g')
+sed -i 's/##REPO_URL/'"${repo_url}"'/g' mkdocs.yml
+sed -i 's/##REPO_NAME/'${9^^}'/g' mkdocs.yml
+
+sed --version
cat mkdocs.yml
diff --git a/toMkdocs/mkdocs.yml b/toMkdocs/mkdocs.yml
index 8f278c0..90776db 100644
--- a/toMkdocs/mkdocs.yml
+++ b/toMkdocs/mkdocs.yml
@@ -11,10 +11,15 @@ docs_dir: docs
extra_css:
- stylesheets/extra.css
+repo_url: ##REPO_URL
+repo_name: ##REPO_NAME Git Repository
+
theme:
name: material
logo: 'images/onem2m.png'
favicon: 'images/favicon.ico'
+ icon:
+ repo: fontawesome/brands/gitlab
palette:
scheme: oneM2M
features:
--
GitLab