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 10 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 11 days ago
Bonjour,
Je me trompe ou ceci n'est pas implémenté actuellement dans la version 1.7 ?
Updated by Alexis Bienvenüe 9 days 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 8 days 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 5 days ago
Tiptop !