From c23c44a4c4edf81fdc420c669fb889fdc3efaef1 Mon Sep 17 00:00:00 2001
From: Pete Johanson <peter@peterjohanson.com>
Date: Tue, 14 Jul 2020 10:24:51 -0400
Subject: [PATCH] Fix the default OS tab.

---
 docs/docs/dev-setup.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/dev-setup.md b/docs/docs/dev-setup.md
index 8f3e3ddd..beabca46 100644
--- a/docs/docs/dev-setup.md
+++ b/docs/docs/dev-setup.md
@@ -9,7 +9,7 @@ import TabItem from '@theme/TabItem';
 
 export const OsTabs = (props) => (<Tabs
 groupId="operating-systems"
-defaultValue="linux"
+defaultValue="debian"
 values={[
 {label: 'Debian/Ubuntu', value: 'debian'},
 {label: 'Raspberry OS', value: 'raspberryos'},