From f7dd64f7cbb71f647ce045a02b177c945dc5b4f8 Mon Sep 17 00:00:00 2001
From: Salt <rehashedsalt@cock.li>
Date: Fri, 16 Nov 2018 19:34:09 -0600
Subject: [PATCH] DSK, .profile: Update, more robust PATH patching

---
 .dsk     | 2 +-
 .profile | 6 +++++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/.dsk b/.dsk
index 884a9185..0de0c819 160000
--- a/.dsk
+++ b/.dsk
@@ -1 +1 @@
-Subproject commit 884a9185254472bd99277723ced52e7700df350b
+Subproject commit 0de0c81949eb0397fffd79c60c5249c1ae96e533
diff --git a/.profile b/.profile
index dec1250e..4ad168b3 100755
--- a/.profile
+++ b/.profile
@@ -33,7 +33,11 @@ else
 	export EDITOR="vi"
 fi
 
-export PATH=$PATH:$HOME/.local/bin
+# Patch PATH if necessary
+# This string substitution is POSIX-compliant
+localbindir="$HOME/.local/bin"
+[ "${PATH#*$localbindir}" == "$PATH" ] && export PATH="$PATH:$localbindir"
+unset localbindir
 
 # If emerge exists, add emerge aliases
 if `which emerge > /dev/null 2>&1` ; then