diff --git a/elements/count_elements.sh b/elements/count_elements.sh deleted file mode 100755 index b43b84678..000000000 --- a/elements/count_elements.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash - -# compte les elements -nb_elmts=$(find . -name "*.elmt" | wc -l) -nb_categ=$(find . -name "qet_directory" | wc -l) -((nb_files=$nb_elmts + $nb_categ)) - -echo "${nb_elmts} elements dans ${nb_categ} categories (soit ${nb_files} fichiers)"