pmret/papermario
1
0
Fork 0
mirror of https://github.com/pmret/papermario.git synced 2024-11-09 20:42:41 +01:00
Code Issues Packages Projects Releases Wiki Activity

add comment for wsl --set-default <Distro> in bat file

Browse Source
This commit is contained in:
sonicspiral 2020-09-29 23:38:30 -07:00
parent e28d7ac8b4
commit ab48495419
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/windows_terminal.bat
View File

@ -1,2 +1,3 @@
REM first set your default distro using: wsl --set-default <Distro> 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 wt --title "diff.py" -d "../" ; split-pane -d "../" -V ; new-tab --title "mips_to_c.py" -d "../" ; focus-tab -t 0