From 398f1984b032f64f514814f4b6e6067f6326650c Mon Sep 17 00:00:00 2001
From: Iain Patterson <me@iain.cx>
Date: Mon, 21 Jan 2008 10:54:21 +0000
Subject: [PATCH] Source bash_profile if there's a tty OR if there's a login
 shell.  This is for No Machine.

git-svn-id: https://svn.cambridge.iain.cx/profile/trunk@95 6be0d1a5-5cfe-0310-89b6-964be062b18b
---
 .bash_profile | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/.bash_profile b/.bash_profile
index fcecf15..81a58de 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -1,7 +1,5 @@
 # $Id$
-for i in ~/.profile.d/*.bashrc; do . $i; done
-__ps1
-
-if [ "$OSTYPE" = "cygwin" ]; then
-  shopt -s nocaseglob
+if $(tty -s) || $(shopt -q login_shell); then
+  for i in ~/.profile.d/*.bashrc; do . $i; done
+  __ps1
 fi
-- 
2.20.1