# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1435703734 25200
# Node ID 753b1c2bd64c10c8d03fccf025960b7a2f8d5722
# Parent  a4177aacf735c8ac3232156f1b1e0794847758fc
match is NOT POSIX

diff -r a4177aacf735 -r 753b1c2bd64c .bash_overrides
--- a/.bash_overrides	Tue Jun 30 15:26:27 2015 -0700
+++ b/.bash_overrides	Tue Jun 30 15:35:34 2015 -0700
@@ -55,7 +55,7 @@
     if [ -n "${ENV}" ]
     then
 	FULLPWD=$(python -c 'import os; print (os.getcwd())')
-	if (( ! `expr match "${FULLPWD}" "${ENV}"` ))
+	if (( ! `expr "${FULLPWD}" : "${ENV}"` ))
 	then
 	    if [[ -n "`type -t deactivate`" ]]
 	    then