Changer le nom du fichier source à la création (Feature #611)
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 over 6 years ago
Bonjour,
je trouve cette suggestion tout à fait pertinente !
Cordialement,
Updated by Alexis Bienvenüe over 6 years ago
- Target version set to 1.5.0
Updated by Alexis Bienvenüe almost 4 years ago
- Target version changed from 1.5.0 to 1.6.0
Updated by laurent Bakri 11 months ago
Bonjour,
je peux peut-être préciser.
Peut-être que le bon nom de fichier serait par défaut "[nomduprojet]-source.tex" ?
Je trouve sincèrement que ce serait vraiment plus pratique que de gérer N fichiers qui s'appelle source.tex dans nos dd ou de les renommer manuellement pour chaque projet.
Cordialement,
Laurent Bakri
Updated by Liouba Leroux about 1 month ago
Bonjour,
Je me trompe ou ceci n'est pas implémenté actuellement dans la version 1.7 ?
Updated by Alexis Bienvenüe about 1 month ago
Je viens d'ajouter un petit bouton dans la version de développement pour changer le nom du fichier source.
Updated by Alexis Bienvenüe about 1 month ago
Et maintenant le nom du fichier source peut être pris automatiquement à partir du nom de projet lors de sa création :
- Status changed from New to Feedback
- File srcfilename.png added
Updated by Liouba Leroux 28 days ago
Tiptop !