Submit - Linux
Submit is a computer program that allows you to submit your homework exercises over the Internet to the Grade Grinder, a grading server that checks your homework and returns reports to you and, if you ask, your instructor. In this chapter we describe how to use Submit.
The computer you use to submit homework to the Grade Grinder must be connected to the Internet. Submit uses the same form of communication used by web browsers, so if you can access the Internet with your web browser, you should be able to submit files to the Grade Grinder.To submit files to the Grade Grinder, you need to have all of the following ahead of time:
- The solution files you want to submit.
You might want to collect together all the files you want to submit in a single folder. Remember that the files must be named exactly the way you are asked to name them in the book. Submit will only send files whose names begin with World, Sentences, Proof, or Table, and that are of the appropriate type (Tarski's World, Fitch, or Boole files). If you try to submit a file with an incorrect name, it will give you a chance to correct the name. If you try to submit a file with an incorrect exercise number (e.g., World 1.1 rather than World 10.1), then Submit will send it but the Grade Grinder will tell you that it doesn't know how to grade it or grade it as the wrong exercise. Be careful when naming your solution files!
- Your Book ID number.
This is a unique ID number that is included in the package. It is of the form L11-1234567, that is, a letter, followed by two digits, a dash, then seven more digits. Do not let anyone else use your ID number, since the number is how the Grade Grinder associates your homework exercises with you.
- Your name and full email address.
The name you enter should be sufficient for your instructor to identify you. It is important that you enter your full email address, for example firstname.lastname@example.org, not just claire or claire@cs or email@example.com the Grade Grinder will need the full address to send its response back to you. You must use the same email address throughout the course, so make sure you choose the right one and enter it correctly. If you don't have an email address, or don't know your full Internet email address, contact one of the computer folks at your school.
- Your instructor's name and full email address.
If you want your results to be sent to an instructor as well as to you, you will need his or her name and full email address. The instructor's email address must match one of the instructors in the Grade Grinder's database, so make sure you find out what it is. If you do not want results sent to an instructor, you won't need this information.
To launch Submit, double-click on the application icon, which has a blue background and shows the yellow corner of a cube. Or, on your Windows machine, launch the program from the Start menu by choosing the Programs submenu, then looking in the package name (e.g., LPL Software) for Submit. After a moment, Submit's main window will appear on your screen. You'll know it by the twirling cube.
Your goal is simply to fill in the various parts of this window by typing in the information requested and specifying the list of files to be submitted. Once that is done, you will simply press the Submit Files button in the lower right of the window.
Start by filling in the information requested (Book ID, your name, etc.). Read about this information above if you haven't already. Remember to use your full email address and to spell it correctly. Once you have submitted files, your Book ID will be associated with the email address you type in, so that no one can use your Book ID to submit bogus homework in your name. In later submissions, you will have to use the exact same email address with your Book ID, so if you have more than one email address, remember which one you used.
Choosing files to submit
There are several ways to choose the files you want to submit. The most common is to click on the button Choose Files to Submit in the lower left corner of the main Submit window. This will open another window showing two file lists. The list on the left shows all the files in the current folder (directory). The list on the right will be built by you as you choose files to submit. The goal is to find the names of your solution files on the left hand list and move them to the right hand list.
To find your solution files, you will have to navigate around the folder structure of your computer in the left hand list. To move to higher folders, those containing the folder whose contents is currently shown in the list, click on the folder name that appears above the list. A menu will pop up and show all the folders (and volume) that contain this folder. Choose the folder whose contents you want to view. To move to lower folders, those contained inside the folder whose contents you are viewing, choose those folder names from the list and click Open, or simply double-click on the folder names. Using these two techniques, you will be able to find any file located on your computer's hard disk or on any disk inserted into one of the computer's drives.
Once you have found the file(s) you want to submit, select the file name in the left hand list and click the Add>>> button to add the name to the right hand list. Keep doing this until the right hand list contains all the files you want to submit. If any of the files are of the wrong type or have names of the wrong form, Submit will let you know before putting them on the list. It will give you a chance to correct the names of files that are of the right type, but not named correctly. (This does not change the names of the files on your computer, only the name sent to the Grade Grinder.) When you are finished choosing files, click the Done button under the right hand file list.
Another way to specify files to submit is by choosing Open... from the File menu while you are at the main Submit window. This gives you the standard file open dialog box. If you choose a file of an appropriate type (e.g., a Fitch file), it will be added directly to the list of files to submit. This takes longer if you have more than one file to submit.Submitting the files
Once you have entered all the information on the main Submit window and have constructed the list of files to submit, click the Submit Files button under the list of files. Submit will ask you to confirm that you want to submit the files on your list, and whether you want to send the results just to you or also to your instructor. When you are submitting finished homework exercises, you should select Instructor Too, but if you just want to check to see if you've done the problems right, select Just Me. One of these boxes must be chosen before you click the click the Proceed button, which sends your submission.
After a moment, you will get a notice back from the Grade Grinder telling you which files it received and which of them it knows how to grade. (If you misnumbered a solution, it won't know how to grade it.) You can save this notice as a receipt to prove that the files got to the Grade Grinder.What Submit sends
When you submit files to the Grade Grinder, Submit sends a copy of the files. The original files are still on the disk where you originally saved them. If you saved them on a public computer, it is best not to leave them lying around. You should put them on something that you can take with you, and delete any copies from the public computer's hard disk.
How you know your files were received
If you receive the notice back from the Grade Grinder described above, then you know your files were received. If you receive an error message, or if nothing at all happens when you try to submit your files, then the Grade Grinder has not received them. If your submission does not get through, it is probably a problem with your Internet connection. You should try submitting them again, perhaps from another computer. There are presently two Grade Grinder servers (one in California and one in Indiana), and if Submit cannot find one, it looks for the other. If it fails both times it is probably because your computer or local network cannot access the Internet.
A second confirmation that your submission was received is the email message that the Grade Grinder will send you with the results of its grading. This will arrive a while after you make the submission, depending on how large the submission was, how many other submissions the Grade Grinder is checking, and how long it takes email to reach you. Generally, you will receive the email message within minutes of submitting your files.
You can check on a submission by clicking on the GG Status button at the bottom of the Submit window. If the Grade Grinder was unable to grade your submission, it will tell you which of your submissions have been delayed and for what reasons.
Saving your user data
The information that you enter into the main Submit window, other than the files to submit, is known as the user data. If you would like to avoid typing your name, email address, etc., each time you submit files, you can save all of this information except the Book ID. You do this by choosing Save As... from the File menu. This will let you save a file containing this information.
If you save this file with the default name, Submit User Data.ini, and put it in the folder suggested by Submit, this information will automatically be entered into the appropriate fields when you launch the program. Alternatively, the user data file can be located elsewhere and opened from within Submit. In the latter case, the name of the user data file does not have to be Submit User Data.ini.