Betere PS1 met git

[koent]

Met PROMPT_COMMAND:

• Checken of we in een git directory zitten met git rev-parse (afhankelijk van of $? > 0)
• Als dat niet zo is: normale PS1 aanhouden
• Als dat wel zo is:
  • Root met git rev-parse --show-toplevel
  • Relatief pad met git rev-parse --show-prefix
  • Branch met git branch --show-current
  • Status met git status -s of git diff-index HEAD --, met één icoontje
• Eventueel PS1 op volledige breedte en input op de volgende regel (zoals utop van ocaml).

[koent]

Gedaan (behalve status) in .bashrc op jiskefet.