grm

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

info: error handling

Diffstat:
M
grm
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/grm b/grm
@@ -176,6 +176,8 @@ grm_recompile() {
 }
 
 grm_info() {
+  [ -z "$1" ] && { echo "no repo name given, exiting..."; exit 1; }
+
   repo_name=$1
   repo_dir="${repos_root}/${repo_name}.git"