From 7381d4d344ba72bfc47b4031a17b0028c37123e4 Mon Sep 17 00:00:00 2001 From: Luke Date: Sat, 11 Mar 2023 12:04:22 -0800 Subject: [PATCH] added Windows Bash helpers. --- bashrc.windows.sh | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 bashrc.windows.sh diff --git a/bashrc.windows.sh b/bashrc.windows.sh new file mode 100644 index 0000000..06fc0d4 --- /dev/null +++ b/bashrc.windows.sh @@ -0,0 +1,18 @@ +#!/bin/bash + +# When notepad++ is available, use it +function npp() { + export IFS=$'\n' + NOTEPADPP_EXE='/c/Program Files/Notepad++/notepad++.exe' + if [[ -e "${NOTEPADPP_EXE}" ]]; then + echo 'notepad++.exe '$*' &' + "${NOTEPADPP_EXE}" $* & + return 0 + else + echo "notepad++ not found." + return 1 + fi +} + + +alias _wrapping_fix='kill -WINCH $$'