# HG changeset patch
# User Steve Huston <huston@astro.princeton.edu>
# Date 1606257235 18000
# Node ID 3b8b613c4d7a8e1791c20447cbbe92b767407a72
# Parent  16fdb3931af65d8e3945cf50a85d67c918530eb7
Whitespace!

diff -r 16fdb3931af6 -r 3b8b613c4d7a .bash_aliases
--- a/.bash_aliases	Tue Nov 24 17:30:54 2020 -0500
+++ b/.bash_aliases	Tue Nov 24 17:33:55 2020 -0500
@@ -95,7 +95,7 @@
       PROXY_UMOUNT="hdiutil detach -quiet ${PROXY_PATH}"
       if [ ! -e ${PROXY_PATH}/.profile-exists ] ; then
         hdiutil attach -stdinpass -nobrowse -quiet ~/Documents/Chrome-Personal.dmg
-        if [ ! $? ] ; then 
+        if [ ! $? ] ; then
           echo Disk image failed to mount, aborting
           return
         fi