From ab484954190b837390558e5ac614b60b71febd90 Mon Sep 17 00:00:00 2001
From: sonicspiral <>
Date: Tue, 29 Sep 2020 23:38:30 -0700
Subject: [PATCH] add comment for `wsl --set-default <Distro>` in bat file

---
 tools/windows_terminal.bat | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/windows_terminal.bat b/tools/windows_terminal.bat
index 0402031eb1..9dd5cda1cc 100644
--- a/tools/windows_terminal.bat
+++ b/tools/windows_terminal.bat
@@ -1,2 +1,3 @@
 REM first set your default distro using: wsl --set-default <Distro>
+ehco "first set your default distro using: wsl --set-default <Distro>"
 wt --title "diff.py" -d "../" ; split-pane -d "../" -V ; new-tab --title "mips_to_c.py" -d "../" ; focus-tab -t 0