dotfiles

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 469ac1f4de24152f310bfc57bd8dbb8d779aa71d
parent 7b7f446c28f3b9b28d9ad7525c7ae8939bff4fa0
Author: Janis Pagel <janis.pagel@ims.uni-stuttgart.de>
Date:   Mon,  1 Jul 2019 14:47:44 +0200

Update prompt

Diffstat:
Mzsh/zshrc | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zsh/zshrc b/zsh/zshrc @@ -91,7 +91,7 @@ fi ###################### # set left prompt -PROMPT='%(!.#.>>) %E' +PROMPT='%(!.#.$>) %E' ###### # This whole git prompt stuff was taken from Manjaro's zsh setup, slightly modified