From 2032d548c56302ce86072d7afe4f1404a7440554 Mon Sep 17 00:00:00 2001 From: iBug Date: Fri, 7 Feb 2025 16:36:47 +0800 Subject: [PATCH] =?UTF-8?q?doc(insiders/getting-started):=20Fix=20wrong=20?= =?UTF-8?q?env=20value=20type=20(int=20=E2=86=92=20bool)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/insiders/getting-started.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/insiders/getting-started.md b/docs/insiders/getting-started.md index d2aa59f0804..8181eafbf18 100644 --- a/docs/insiders/getting-started.md +++ b/docs/insiders/getting-started.md @@ -153,14 +153,14 @@ plugins: - search - social - # CI=1 mkdocs build + # CI=true mkdocs build - group: enabled: !ENV CI plugins: - git-revision-date-localized - git-committers - # INSIDERS=1 mkdocs build + # INSIDERS=true mkdocs build - group: enabled: !ENV INSIDERS plugins: @@ -170,8 +170,8 @@ plugins: Of course, you can also enable both groups with: -``` -CI=1 INSIDERS=1 mkdocs build +``` shell +CI=true INSIDERS=true mkdocs build ``` [built-in group plugin]: ../plugins/group.md