Johannes Altmanninger
da7b762f4a
Make default hg prompt leaner
...
The default hg prompt is slow on large repositories (hg status takes
2-3 seconds on mozilla-central) which is unacceptable as a default.
Mimick our git prompt: by default, only show the current branch.
If the new variable $fish_prompt_hg_show_informative_status is set,
then use the old behavior.
[ci skip]
2020-03-07 13:02:58 +01:00
..
2020-02-23 21:36:55 +08:00
2020-02-19 17:00:35 -08:00
2020-02-23 23:41:16 -08:00
2020-03-01 19:28:51 +01:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-22 15:00:01 +01:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-03-03 20:01:48 +01:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-03-06 22:14:53 +01:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-23 23:41:16 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-03-07 13:02:58 +01:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-03-01 17:04:02 +01:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-23 23:41:16 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-03-03 20:01:48 +01:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-23 23:41:16 -08:00
2020-02-19 17:00:35 -08:00
2020-02-26 16:33:56 +01:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00
2020-02-19 17:00:35 -08:00