Déplacement de la liste des fichiers à copier.
This commit is contained in:
parent
3954579449
commit
fb062731fe
12
install.sh
12
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
|
# Spécifier le chemin du répertoire du dépôt Git local
|
||||||
source_dir="local/share/doc"
|
source_dir="local/share/doc"
|
||||||
|
|
||||||
file_local_desc=files_local-share-doc
|
file_local_desc=.config/files_local-share-doc
|
||||||
|
|
||||||
## Traitement ##
|
## Traitement ##
|
||||||
|
|
||||||
|
@ -106,12 +106,12 @@ fi
|
||||||
## Declarations ##
|
## Declarations ##
|
||||||
|
|
||||||
# Spécifier le chemin du répertoire ~/.local/bin
|
# 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
|
# Spécifier le chemin du répertoire du dépôt Git local
|
||||||
source_dir="local/share/man"
|
source_dir="local/share/man"
|
||||||
|
|
||||||
file_local_desc=files_local-share-man
|
file_local_desc=.config/files_local-share-man
|
||||||
|
|
||||||
|
|
||||||
## Traitement ##
|
## Traitement ##
|
||||||
|
@ -141,8 +141,8 @@ if [ -e "$file_local_desc" ]; then
|
||||||
|
|
||||||
# Copier les fichiers en supprimant les extensions
|
# Copier les fichiers en supprimant les extensions
|
||||||
for file in $fileslist_local; do
|
for file in $fileslist_local; do
|
||||||
cp -v "$source_dir/$file" "$destination_dir/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/"
|
cp -v "$source_dir/$file" "$destination_dir/man1/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/man1/"
|
||||||
add_uninstall "$destination_dir/$file"
|
add_uninstall "$destination_dir/man1/$file"
|
||||||
done
|
done
|
||||||
|
|
||||||
else
|
else
|
||||||
|
@ -165,7 +165,7 @@ destination_dir="$HOME/.local/bin"
|
||||||
# Spécifier le chemin du répertoire du dépôt Git local
|
# Spécifier le chemin du répertoire du dépôt Git local
|
||||||
source_dir="local/bin"
|
source_dir="local/bin"
|
||||||
|
|
||||||
file_local_desc=files_local-bin
|
file_local_desc=.config/files_local-bin
|
||||||
|
|
||||||
## Traitement ##
|
## Traitement ##
|
||||||
|
|
||||||
|
|
8
prep.sh
8
prep.sh
|
@ -33,7 +33,7 @@ create_dir() {
|
||||||
|
|
||||||
|
|
||||||
log "Lister les fichiers présents dans local/bin"
|
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"
|
create_dir "$destination_dir"
|
||||||
|
|
||||||
log "Lister les fichiers présents dans local/share/doc"
|
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"
|
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
|
# Répertoire local/share/man
|
||||||
## Vérifier si Pandoc est installé
|
## Vérifier si Pandoc est installé
|
||||||
|
@ -103,5 +103,5 @@ else
|
||||||
fi
|
fi
|
||||||
|
|
||||||
log "Lister les fichiers présents dans local/share/man"
|
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
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue