You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I also tried the export command, but found they always exports every files. Maybe we can check the modified time and only export the necessary files? (like in Make) So user can add this command in Makefile without generating all the files each time. And add a flag to force regenerating everything.
The text was updated successfully, but these errors were encountered:
@cccntu One thing to note that might be helpful (though it doesn't address the feature request itself): if the path you specify is to one notebook file (instead of a directory), it will only export that notebook. So in cases where you know a priori which notebook you want to export, this can save you some unneeded computation.
EDIT: Although now that I think about this, potentially you can just use make directly, with recipes that use the export command that points to a single file. Let us know if this works!
@jayqi Thanks for the suggestion, I did not know about that.
I was gonna say it would be too much work to add every file to Makefile, then I remembered that you can use wildcard in Makefile.
Though it took me some time to figure it out, I got it working! Here are the lines I added in my Makefile.
jayqi
changed the title
Have export command check modified times to determine if exporting is necessary
Document examples of use with GNU make
Jan 24, 2021
From @cccntu, originally mentioned here
The text was updated successfully, but these errors were encountered: