papermario/tools/windows_terminal.bat
sonicspiral 39d8a13f73 convert starter windows terminal to bat
* note the requirement to run wsl --set-default <Distro> first
2020-09-05 12:10:35 -07: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