GNU TeXmacs - Patches: patch #10308, bug command line conversion to pdf
You are not allowed to post comments on this tracker with your current authentication level.
patch #10308: bug command line conversion to pdf
Submitter: | Vanessa Sherlock <vsherlock> | ||
Submitted: | Sat 14 Jan 2023 05:48:58 PM UTC | ||
Category: | Conversion | Action: | Cancelled |
Privacy: | Public | Assigned to: | vdhoeven |
Open/Closed: | Closed | Release: | |
Fixed Release: | Stable: |
Fri 03 Nov 2023 12:06:43 AM UTC, comment #1: |
Joris van der Hoeven <vdhoeven> |
Sat 14 Jan 2023 05:48:58 PM UTC, original submission:
Je cherche à convertir un fichier .tm en pdf en ligne de command, en fermant l'instance de texmacs qui est ouverte pour exécuter cette tâche à la fin de la conversion.
écrase le contenu de toto.tm (et ouvre une nouvelle instance de texmacs qui édite toto.pdf)
ne génère pas de pdf mais laisse toto.tm intact (ouvre et ferme texmacs sans rien faire (-q))
genère le pdf et quitte texmacs (toto.tm intact)
|
Vanessa Sherlock <vsherlock> |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follow 4 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2023-11-03 | vdhoeven | Category | None | Conversion | |
Action | None | Cancelled | |||
Assigned to | None | vdhoeven | |||
Open/Closed | Open | Closed |
Powered by Savane 3.13-758e.
Corresponding source code
Bonjour Vanessa,
Par erreur vous avez mal catalogué votre rapport parmi les patches, au lieu des rapports de bogue. Par conséquent, je le traite avec plus de retard.
En effet, la bonne commande est
Cela s'explique par la possibilité de poursuivre avec d'autres instructions de conversion avant de quitter.
Dans la prochaine version de TeXmacs, on pourra rajouter --headless afin d'éviter l'ouverture d'une fenêtre :