From d74dcdea6c7533e7850bf17e9507e434ecf4e530 Mon Sep 17 00:00:00 2001 From: Laurent Trinques Date: Fri, 4 Feb 2022 16:16:34 +0100 Subject: [PATCH] Minor --- elements/count_elements.sh | 8 -------- 1 file changed, 8 deletions(-) delete mode 100755 elements/count_elements.sh 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)"