Fabian Homborg 6aade380c1 Sample prompts: Handle print_pipestatus if TERM=dumb ...

This is the simple solution of just quoting it. The real solution
would probably handle `set_color` with no color better - #5443.

Fixes #7904.

2021-04-25 09:49:18 +02:00

..

web_config

Sample prompts: Handle print_pipestatus if TERM=dumb

2021-04-25 09:49:18 +02:00

create_manpage_completions.py

Manpage generator: Give better error when we can't understand manpath

2021-03-26 19:32:14 +01:00

deroff.py

Fix: equality vs identity

2019-11-06 14:13:21 +08:00