John D Pell 5ef4b0f898 theme/powerline-base: clean up `user_info` segment		2022-02-12 21:52:23 -08:00
..
powerline.base.bash	theme/powerline-base: clean up `user_info` segment	2022-02-12 21:52:23 -08:00
powerline.theme.bash	Delete `.shellcheckrc` (#1947)	2021-09-18 12:50:59 +03:00