grm

git repo manager for self-hosted git servers
git clone git://sink.krj.st/grm
Log | Files | Refs | README | LICENSE

commit ab0a703341f10f42956fc747cf8562fe075d1325
parent e442d2b4d5d0aecb5754aa74a03de05aec66c464
Author: krasjet <nil@krj.st>
Date:   Sun, 12 Jul 2020 19:12:19 -0700

fix color code across ssh, take 2

Diffstat:
Mgrm | 10+++++-----
1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/grm b/grm @@ -182,14 +182,14 @@ grm_info() { [ -d "$repo_dir" ] || { echo "can't find repo named $repo_name"; exit 1; } echo "name: $repo_name" - RED='\e[91m' - GREEN='\e[92m' - RESET='\e[0m' + RED="\033[91m" + GREEN="\033[92m" + RESET="\033[0m" if [ -e "${repo_dir}/git-daemon-export-ok" ]; then - printf "%s\n" "visibility: ${GREEN}public${RESET}" + printf "%b\n" "visibility: ${GREEN}public${RESET}" else - printf "%s\n" "visibility: ${RED}private${RESET}\n" + printf "%b\n" "visibility: ${RED}private${RESET}\n" fi [ -f "${repo_dir}/description" ] && \