papermario/tools/windows_terminal.bat

mirror of https://github.com/pmret/papermario.git synced 2024-11-18 17:02:46 +01:00
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
convert starter windows terminal to bat * note the requirement to run wsl --set-default <Distro> first 2020-09-05 21:10:35 +02:00			`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`