Detect WSL in reported OS

APN-Pucky · Jul 19, 2023 · 11d7964 · 11d7964
1 parent e8dc2f4
commit 11d7964
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/report_v2.sh b/report_v2.sh
@@ -29,6 +29,13 @@ TITLE=$(grep -i -A 1 "Details might be found in the build log:" $FULL | tail -n1
 TITLE="$TITLE: bootstrap-prefix.sh $STAGE fails"
 # EXTRAOS filters the OS name for the reports title, however we do include it in the title of the search!
 EXTRAOS="unknown"
+if [[ "$OS" == *"Microsoft"* ]] ; then
+  if [[ "$OS" == *"Linux"* ]] ; then
+    EXTRAOS="WSL"
+  else
+    EXTRAOS="Microsoft"
+  fi
+fi
 if [[ "$OS" == *"Linux"* ]] ; then
   EXTRAOS="Linux"
 fi