papermario/tools/windows_terminal.bat

4 lines
253 B
Batchfile

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