From 6611ad8c7935ecdba3260139d07ac86a5438f1bb Mon Sep 17 00:00:00 2001
From: michael <michael@dismyserver.net>
Date: Mon, 11 Sep 2023 10:51:20 -0400
Subject: [PATCH] Added comment to profile

---
 bash/bash-profile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bash/bash-profile b/bash/bash-profile
index 9586de1..64da874 100644
--- a/bash/bash-profile
+++ b/bash/bash-profile
@@ -66,4 +66,5 @@ pathpromptpl="${resetpl}\[\033[38;${colora}\]"
 PROMPT_COMMAND='_dir=`pwd | sed "s|^$_home|~|g"`;if [ ${#_dir} -ge 35 ]; then _mydir=`pwd | cut -c1-16`; _mydir=${_mydir}.../`pwd | rev | cut -d/ -f1 | rev`; else _mydir=`pwd`; fi; _mydir=`echo $_mydir | sed "s|^$_home|~|g"`; PS1="\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}${hostbg}${promptfg}\h${hostuserpl}${promptfg}\u${userpathpl}${pathfg}${_mydir}${resetpl}${pathpromptpl}${resetpl} "'
 # https://stackoverflow.com/a/19152051 (for pipes in sed ^^)
 
+# Useful for WSL to open windows file explorer in the current directory (e.g. explorer .)
 alias explorer="explorer.exe"