chiark / gitweb /
dot/shell-rc: If terminal is `dumb' then use vanilla prompts.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 16 Nov 2017 12:25:12 +0000 (12:25 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 16 Nov 2017 12:25:12 +0000 (12:25 +0000)
commit55bd026152a0d09c69a2e6113d46928a3ad22ed9
tree5e9dd0502a8372dc42cae832f3649b6a376f3702
parente367427733654928c4cfd574bf230a90f0cbf25a
dot/shell-rc: If terminal is `dumb' then use vanilla prompts.

This avoids confusing Emacs's `TRAMP' facility.
dot/shell-rc