Thank you for the suggestion.
On Sunday, January 29, 2017 at 3:27:13 PM UTC-6, Harald Schilly wrote: > > Yes, it will be executed. So far, all files in SMC only have a single > default action. However, you could create a terminal in SMC, and then > open the .tex file in a command-line file viewer. I.e. if the file is > filename.tex, then run this command: > > less filename.tex > > you can scroll up and down with the cursor keys or Page-up/down, and > exit it via pressing the "q" key. > > (via "ls" you can get a list of all filenames, if there is a space in > the filename, you have to enclose the filename in quotes like less > "file name.tex") > > -- harald > > > On Sun, Jan 29, 2017 at 10:20 PM, <[email protected] <javascript:>> > wrote: > > I made an assignment folder that includes a .tex file and I want to > check a > > student's progress. If I open the student's project from my account and > then > > open the .tex file, is the system going to automatically compile it and > > create a new pdf file with a new date? I would not like to have that > happen > > so I have been avoiding opening the students' .tex files. Should I > download > > the .tex file to my computer instead of opening it inside SMC? > > Thanks for any help. > > > > > > > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "sage-cloud" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to [email protected] <javascript:>. > > To view this discussion on the web visit > > > https://groups.google.com/d/msgid/sage-cloud/0a3058b1-52c6-4e69-941d-9230d39d88f6%40googlegroups.com. > > > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-cloud" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-cloud/6f57b6c9-1f56-4bb9-8fce-fe612af00b7b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
