Rename shell scripts

[nre.git] / all

diff --git a/all.sh b/all
similarity index 60%
rename from all.sh
rename to all
index d8798291507c716c6fc068832d826e61e7f04511..df13337fd37eb6155b2b76e3e75507454d76dfea 100755 (executable)
--- a/all.sh
+++ b/all
@@ -6,28 +6,28 @@ date
 for arg in "$@"; do
     if [[ "$arg" == "root" ]]; then
        echo "========== Generating Root ======="
-       ./clear.sh
-       ./generateKeys.sh
+       ./clear
+       ./generateKeys
     else
        echo "========== Generating Year $arg ======="
-       ./generateTime.sh "$arg"
+       ./generateTime "$arg"
        echo "========== Generating Infra for Year $arg ======="
-       ./generateInfra.sh "$arg"
+       ./generateInfra "$arg"
        echo "========== Generating CRLs for Year $arg ======="
-       ./generateCRLs.sh "$arg"
+       ./generateCRLs "$arg"
        
        
        echo "========== Verifying Year $arg ======="
-       ./verify.sh "$arg"
+       ./verify "$arg"
        
        
        echo "========== Collection things ======="
-       ./collectCRLs.sh "$arg"
-       ./collectGigiConfig.sh "$arg"
-       ./collectOffline.sh "$arg"
-       ./collectSignerConfig.sh "$arg"
+       ./collectCRLs "$arg"
+       ./collectGigiConfig "$arg"
+       ./collectOffline "$arg"
+       ./collectSignerConfig "$arg"
        
-       ./summary.sh "$arg"
+       ./summary "$arg"
     fi
 done