dot/shell-rc: If terminal is `dumb' then use vanilla prompts.

[profile] / dot / profile

diff --git a/dot/profile b/dot/profile
index 818ae8af3f9404c24754f48c2a599bcb7d9d8bef..c1159de42fa8e26f01f160c4f22698ae8d55c709 100644 (file)
--- a/dot/profile
+++ b/dot/profile
@@ -88,6 +88,11 @@ if [ -d /usr/local/plan9 ]; then
   __mdw_addto PATH r $PLAN9/bin
 fi
 
+## Check for some standard path hacks.
+for i in ccache; do
+  __mdw_addto PATH l "$HOME"/bin/hacks/$i
+done
+
 ###--------------------------------------------------------------------------
 ### Some other preliminaries.