Manipuler un fichier dont l'extension change

jeteztout · Le 23/03/2016, à 22:19

Bonsoir,

je cherche à créer une petite suite de commande pour opérer sur un fichier au nom variable (dont en utilisant $1) mais dont l'extension va changer au fur et à mesure des commandes.

Voici mon script actuel :

#!/bin/sh

latex $1 &
dvipdf $1 &
wait
echo "Fichier compilé et PDF généré."

J'invoque le script avec une commande type :

./truc.sh art.tex

Problème : la commande DVIPDF échoue car $1 correspond à art.tex, or latex $1 génère un fichier nommé art.dvi, c'est sur ce dernier que doit travailler dvipdf pour produire un fichier art.pdf

Mais je ne sais pas comment faire pour que le changement d'extension soit pris en compte ?

Watael · Le 24/03/2016, à 05:57

salut,

des commandes qui écrivent dans un fichier ne devraient pas être en arrière plan, car, alors que l'écriture n'est pas terminée, les autres commandes tentent de lire les modifications !

pour ton problème, enlève l'extension du fichier au début du script, avec le Développement de variables (cf. man bash), et ajoute au nom de fichier sans extension l'extension nécessaire en dur pour chaque commande.

pingouinux · Le 24/03/2016, à 06:35

Bonjour,
En complément de la réponse précédente, tu peux même ne pas donner d'extension lors de l'appel, et les ajouter dans le script

./truc.sh art

serged · Le 24/03/2016, à 07:51

Quelque chose comme :

nom=$1
racine="${nom%.*}"
[...]
dvipdf "$racine.dvi"
[...]

jeteztout · Le 24/03/2016, à 14:24

Merci à vous, j'ai donc opté pour la solution la plus simple :

#!/bin/sh

latex $1.tex &&
dvipdf $1.dvi &&
echo "Fichier compilé et PDF généré."

Et en appel,

./truc.sh ficher

Merci !

pingouinux · Le 24/03/2016, à 14:28

Il vaut mieux mettre des " " autour de $1, au cas où le nom du fichier contiendrait des espaces

latex "$1".tex

serged · Le 25/03/2016, à 08:04

pingouinux a écrit :

Il vaut mieux mettre des " " autour de $1, au cas où le nom du fichier contiendrait des espaces
latex "$1".tex

Plutôt autour du nom de fichier complet :

latex "$1.tex"

pingouinux · Le 25/03/2016, à 08:26

serged a écrit :

Plutôt autour du nom de fichier complet :

Avec une extension "en dur" sans espace, pour moi c'est équivalent.

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 23/03/2016, à 22:19

Manipuler un fichier dont l'extension change

#2 Le 24/03/2016, à 05:57

Re : Manipuler un fichier dont l'extension change

#3 Le 24/03/2016, à 06:35

Re : Manipuler un fichier dont l'extension change

#4 Le 24/03/2016, à 07:51

Re : Manipuler un fichier dont l'extension change

#5 Le 24/03/2016, à 14:24

Re : Manipuler un fichier dont l'extension change

#6 Le 24/03/2016, à 14:28

Re : Manipuler un fichier dont l'extension change

#7 Le 25/03/2016, à 08:04

Re : Manipuler un fichier dont l'extension change

#8 Le 25/03/2016, à 08:26

Re : Manipuler un fichier dont l'extension change

Pied de page des forums