Changer le nom du fichier source à la création (Feature #611)


Added by laurent Bakri 5 months ago. Updated 2 months ago.


Status:New Start date:11/26/2018
Priority:Low Due date:
Assignee:- % Done:

0%

Category:-
Target version:1.5.0

Description

Bonjour,
à la création d'un projet quand on choisit l'option "à partir d' un fichier" le fichier est copié dans le répertoire avec le même nom .
Il faut alors aller éditer le fichier options.xml pour changer le nom du fichier source (ou copier/renommer le fichier).
Quand on voudrait que le fichier source du devoir 2 s'appelle devoir2.tex et que celui du devoir 3 (pour lequel on modifiera le devoir2.tex)
s'appelle devoir3.tex cela ne semble pas le comportement optimal. (mais n'est pas très coûteux )
La possibilité de changer le nom du fichier source serait, il me semble, appréciable.

Cordialement,
Laurent.


History

Updated by Liouba Leroux 2 months ago

Bonjour,
je trouve cette suggestion tout à fait pertinente !
Cordialement,

Updated by Alexis Bienvenüe 2 months ago

  • Target version set to 1.5.0

Also available in: Atom PDF