Fabian Homborg 2cea5b8eb1 Add a "prompt_login" helper function ... This prints a description of the "host". Currently that's `(chroot:debianchroot) $USER@$hostname` with the chroot part when needed. This also switches the default and terlar prompts to use it, the other prompts have slightly different coloring or logic here.		2021-04-30 17:07:54 +02:00
..
web_config	Add a "prompt_login" helper function	2021-04-30 17:07:54 +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