From 39d8a13f73046ebd237a2c1604344f42b3ed1d19 Mon Sep 17 00:00:00 2001 From: sonicspiral <> Date: Sat, 5 Sep 2020 12:10:35 -0700 Subject: [PATCH] convert starter windows terminal to bat * note the requirement to run wsl --set-default first --- tools/windows_terminal.bat | 2 ++ tools/windows_terminal.ps1 | 27 --------------------------- 2 files changed, 2 insertions(+), 27 deletions(-) create mode 100644 tools/windows_terminal.bat delete mode 100644 tools/windows_terminal.ps1 diff --git a/tools/windows_terminal.bat b/tools/windows_terminal.bat new file mode 100644 index 0000000000..0402031eb1 --- /dev/null +++ b/tools/windows_terminal.bat @@ -0,0 +1,2 @@ +REM first set your default distro using: wsl --set-default +wt --title "diff.py" -d "../" ; split-pane -d "../" -V ; new-tab --title "mips_to_c.py" -d "../" ; focus-tab -t 0 diff --git a/tools/windows_terminal.ps1 b/tools/windows_terminal.ps1 deleted file mode 100644 index 599794a966..0000000000 --- a/tools/windows_terminal.ps1 +++ /dev/null @@ -1,27 +0,0 @@ -<# -.SYNOPSIS -Opens and sets up a few helpful starter tabs in Windows Terminal using the default distro. - -.DESCRIPTION -You can can set your default distro using: wsl --set-default . - -To register mips_to_c.py as a global command in your bash PATH: -sudo apt update -sudo apt install python3-pip -sudo git clone https://github.com/matt-kempster/mips_to_c.git /usr/local/bin/mips_to_c - -Then add PATH="$PATH:/usr/local/bin/mips_to_c" to the end of your ~/.bashrc file. -Any editor should work to do this: -vim ~/.bashrc -joe ~/.bashrc -code ~/.bashrc -Apply the changes using: source ~/.bashrc. - -You should be able to run mips_to_c.py now. - -.LINK -https://docs.microsoft.com/en-us/windows/wsl/reference -https://github.com/matt-kempster/mips_to_c.git -#> - -wt -d "../" `; split-pane -d "../" -V --title "diff.py" `; new-tab -d "../" --title "mips_to_c.py" `; focus-tab -t 0