From fb062731febd424666df251db6d20a1b884c58ce Mon Sep 17 00:00:00 2001 From: cedricAbonnel Date: Sun, 19 Nov 2023 19:36:49 +0100 Subject: [PATCH] =?UTF-8?q?D=C3=A9placement=20de=20la=20liste=20des=20fich?= =?UTF-8?q?iers=20=C3=A0=20copier.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- files_local-bin => .config/files_local-bin | 0 .../files_local-share-doc | 0 .../files_local-share-man | 0 install.sh | 12 ++++++------ prep.sh | 8 ++++---- 5 files changed, 10 insertions(+), 10 deletions(-) rename files_local-bin => .config/files_local-bin (100%) rename files_local-share-doc => .config/files_local-share-doc (100%) rename files_local-share-man => .config/files_local-share-man (100%) diff --git a/files_local-bin b/.config/files_local-bin similarity index 100% rename from files_local-bin rename to .config/files_local-bin diff --git a/files_local-share-doc b/.config/files_local-share-doc similarity index 100% rename from files_local-share-doc rename to .config/files_local-share-doc diff --git a/files_local-share-man b/.config/files_local-share-man similarity index 100% rename from files_local-share-man rename to .config/files_local-share-man diff --git a/install.sh b/install.sh index 339d98b..ffd711a 100755 --- a/install.sh +++ b/install.sh @@ -67,7 +67,7 @@ destination_dir="$HOME/.local/share/doc" # Spécifier le chemin du répertoire du dépôt Git local source_dir="local/share/doc" -file_local_desc=files_local-share-doc +file_local_desc=.config/files_local-share-doc ## Traitement ## @@ -106,12 +106,12 @@ fi ## Declarations ## # Spécifier le chemin du répertoire ~/.local/bin -destination_dir="$HOME/.local/share/man/man1" +destination_dir="$HOME/.local/share/man" # Spécifier le chemin du répertoire du dépôt Git local source_dir="local/share/man" -file_local_desc=files_local-share-man +file_local_desc=.config/files_local-share-man ## Traitement ## @@ -141,8 +141,8 @@ if [ -e "$file_local_desc" ]; then # Copier les fichiers en supprimant les extensions for file in $fileslist_local; do - cp -v "$source_dir/$file" "$destination_dir/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/" - add_uninstall "$destination_dir/$file" + cp -v "$source_dir/$file" "$destination_dir/man1/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/man1/" + add_uninstall "$destination_dir/man1/$file" done else @@ -165,7 +165,7 @@ destination_dir="$HOME/.local/bin" # Spécifier le chemin du répertoire du dépôt Git local source_dir="local/bin" -file_local_desc=files_local-bin +file_local_desc=.config/files_local-bin ## Traitement ## diff --git a/prep.sh b/prep.sh index 07ae967..456dd0d 100755 --- a/prep.sh +++ b/prep.sh @@ -33,7 +33,7 @@ create_dir() { log "Lister les fichiers présents dans local/bin" -ls local/bin/ -c1 >files_local-bin +ls local/bin/ -c1 >.config/files_local-bin ######## @@ -50,11 +50,11 @@ destination_dir="local/share/man" create_dir "$destination_dir" log "Lister les fichiers présents dans local/share/doc" -ls "$source_dir/" -c1 >files_local-share-doc +ls "$source_dir/" -c1 >.config/files_local-share-doc log "Creer les pages MAN" -file_local_desc=files_local-share-doc +file_local_desc=.config/files_local-share-doc # Répertoire local/share/man ## Vérifier si Pandoc est installé @@ -103,5 +103,5 @@ else fi log "Lister les fichiers présents dans local/share/man" -ls local/share/man/ -c1 >files_local-share-man +ls local/share/man/ -c1 >.config/files_local-share-man