]> git.vanrenterghem.biz Git - Dotty.git/commit
Show git branch in command prompt.
authorFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Fri, 16 Jun 2023 02:10:45 +0000 (10:10 +0800)
committerFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Fri, 16 Jun 2023 02:10:45 +0000 (10:10 +0800)
commit7c78873708b5e939ca947188dd9abe6187d31be5
tree422b071158250c94356659a6c1a504d67a2fe205
parent84c5cbe4f23ccc9c9c1a376972a8cd5479c01b54
Show git branch in command prompt.
bash/.bashrc