Follow Bash variable naming conventions

martinescardo · Jul 17, 2024 · b58213c · b58213c
1 parent ba3dee3
commit b58213c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/count-agda-files-and-lines b/count-agda-files-and-lines
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-ROOT_DIR=$(git rev-parse --show-toplevel)
+root_dir=$(git rev-parse --show-toplevel)
 
-git ls-files $ROOT_DIR/source | grep agda | wc -l
-git ls-files $ROOT_DIR/source | grep agda | xargs cat | wc -l
+git ls-files $root_dir/source | grep agda | wc -l
+git ls-files $root_dir/source | grep agda | xargs cat | wc -l