Fabian Homborg 4a47e212f8 Color the default prompt host if running via SSH ... This is part of our (well, my) quest to spice up the default prompt. In this case we color the host if $SSH_TTY is set, which is easy to detect and helps draw attention to the host. See #6398. See #6375.		2019-12-30 14:03:36 +01:00
..
_static	sphinx: honor changes in static html assets	2019-10-19 14:52:24 +02:00
cmds	docs/bind: Document and	2019-12-25 10:46:46 +01:00
commands.rst	docs: Remove explicit .html links	2019-04-30 13:11:33 +02:00
conf.py	docs: restore compatibility with Sphinx < 1.8.0	2019-11-26 18:17:20 +08:00
design.rst	docs: Remove explicit .html links	2019-04-30 13:11:33 +02:00
faq.rst	Support FOO=bar syntax for passing variables to individual commands	2019-11-25 09:20:51 +01:00
fish_indent_lexer.py	Reformat all files	2019-05-05 12:09:25 +02:00
index.rst	Color the default prompt host if running via SSH	2019-12-30 14:03:36 +01:00
license.rst	Update copyright information	2019-08-08 18:47:36 +02:00
tutorial.rst	docs: Link tutorial immediately	2019-12-10 18:47:14 +01:00