diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-09-27 11:44:38 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-09-27 11:44:38 +0200 |
commit | f4f700e2deed3bbe6ab07a172d3659138e155fbc (patch) | |
tree | 6e72cde8a451d8550804bc9fbe81300ae0f7ce2d /fichiers/scripts/countlines-mk2.sh | |
parent | a67cdf7e5a77d115192b358b707460cc85e64762 (diff) | |
download | courses-f4f700e2deed3bbe6ab07a172d3659138e155fbc.tar.gz |
made scripts available in a separate directory
Diffstat (limited to 'fichiers/scripts/countlines-mk2.sh')
-rw-r--r-- | fichiers/scripts/countlines-mk2.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/fichiers/scripts/countlines-mk2.sh b/fichiers/scripts/countlines-mk2.sh new file mode 100644 index 0000000..73a87a7 --- /dev/null +++ b/fichiers/scripts/countlines-mk2.sh | |||
@@ -0,0 +1,23 @@ | |||
1 | #!/bin/bash | ||
2 | |||
3 | echo "Entrez le nom du fichier dont vous voulez compter les lignes:" | ||
4 | read -p 'Fichier: ' file | ||
5 | |||
6 | countlines () { | ||
7 | cat $1 | wc -l | ||
8 | } | ||
9 | |||
10 | if [ ! -e $file ] || [ -z $file ] | ||
11 | then | ||
12 | echo "Erreur: le fichier $file n'existe pas." | ||
13 | exit 1 | ||
14 | else | ||
15 | numline=$(countlines $file) | ||
16 | fi | ||
17 | |||
18 | if [ $numline -le 1 ] | ||
19 | then | ||
20 | echo "Votre fichier $file compte $numline ligne." | ||
21 | else | ||
22 | echo "Votre fichier $file compte $numline lignes." | ||
23 | fi | ||