|
J'ai un document dans lequel figurent de nombreuses images. Comme sa une mise en page était complexe, j'ai modifié ces images à plusieurs reprises, j'en ai ajouté d'autres sans supprimer celles qu'elles remplaçaient, etc. Tant et si bien que le dossier dans lequel se trouvent tant le document lui-même que les images qui y sont incluses comporte également des images auxquelles le document ne fait plus référence. Il me faut à présent confier ce dossier à quelqu'un d'autre, et j'aimerais ne pas le submerger de pièces annexes inutiles : existerait-il une commande listant tous les documents auxquels le code Une telle liste me permettrait de supprimer aisément les pièces inutiles. |
|
Il suffit d'ajouter @touhami Attention ! Ce commentaire était une réponse plutôt qu'un commentaire et a été converti comme telle. |
|
Une petite astuce un peu sale pour les linuxiens : il suffit de lancer un $ cat fichier.log| grep −E "< use" (supprimer l'espace entre Cela retournera toutes les lignes du log qui indiquent l'utilisation d'un fichier extérieur. Ce qui serait classe, ce serait de faire un diff entre le résultat de d'ôter du résultat les fichiers et de piper le tout vers 1
@pathe Je ne suis pas sûr de ce que vous voulez par ça mais L'idée était de supprimer automatiquement les fichiers inutiles figurant dans le dossier contenant le fichier |
|
Selon touhami, il y a également les commandes suivantes : $ pdflatex --recorder myfile.tex ou $ pdflatex -recorder myfile.tex Le résultat est dans un fichier Il y a aussi |
