papermario/tools/windows_terminal.bat
Alex Bates a7defe6804
move windows_terminal.bat instructions
Also fixed a number of typos in the process.
2020-10-13 19:49:08 +01:00

3 lines
182 B
Batchfile

REM 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