Rename shell scripts

[nre.git] / collectCRLs

diff --git a/collectCRLs.sh b/collectCRLs
similarity index 97%
rename from collectCRLs.sh
rename to collectCRLs
index b123ca35ab2101f5bf1694f8959c0a1d7c57ce9b..d5c1d49ce554a2d7c0ac7e4609e5ca21d529d8e9 100755 (executable)
--- a/collectCRLs.sh
+++ b/collectCRLs
@@ -5,8 +5,8 @@ set -e
 [ "$1" == "" ] && echo "Usage: $0 <year>" && exit 1
 year=$1
 
-. structure
-. commonFunctions
+. structure.bash
+. commonFunctions.bash
 cd generated
 
 fetchCRLS(){ #year, cyear month timeIdx