git://git.iain.cx/iain
/
profile.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use a nicer bold colour.
[profile.git]
/
.profile.d
/
prompt.bashrc
diff --git
a/.profile.d/prompt.bashrc
b/.profile.d/prompt.bashrc
index
e6a8236
..
6357ac5
100644
(file)
--- a/
.profile.d/prompt.bashrc
+++ b/
.profile.d/prompt.bashrc
@@
-5,13
+5,19
@@
SSH_FORWARDED=$(get_remote_ip -n)
if [ ! -z "$SSH_FORWARDED" ]; then
SSH_FORWARDED=$(get_remote_ip -n)
if [ ! -z "$SSH_FORWARDED" ]; then
- if [ ! "$SSH_FORWARDED" = "62.189.242.202" -a ! "$SSH_FORWARDED" = "62.189.241.202" ]; then
+ if [ ! "$SSH_FORWARDED" = "62.189.242.202" -a ! "$SSH_FORWARDED" = "62.189.241.202"
-a ! "$SSH_FORWARDED" = "193.128.72.68"
]; then
SSH_FORWARDED=" (from $SSH_FORWARDED)"
else
SSH_FORWARDED=
fi
fi
SSH_FORWARDED=" (from $SSH_FORWARDED)"
else
SSH_FORWARDED=
fi
fi
+# Unscientific check for grid jobs.
+case ${SSH_CLIENT##* } in
+ ""|22|2222);;
+ *) SSH_FORWARDED="$SSH_FORWARDED [grid]"
+esac
+
info="$HOSTNAME$SSH_FORWARDED"
# Check for vim.
info="$HOSTNAME$SSH_FORWARDED"
# Check for vim.