[Documentation:Developer] Add new ENV variables

_docs/developer/getting_started/vm_install_using_vagrant.md

@@ -244,28 +244,39 @@ If you using an Intel-based Mac, you will follow the instructions below._
 
    * **Build pre-packaged VM**
 
-     If you are using VirtualBox as your provider, you will by default
-     use a pre-packaged Submitty VM. This will have all of Submitty
-     already setup.  Vagrant will build your VM for you.
+    If you are using VirtualBox as your provider, you will by default
+    use a pre-packaged Submitty VM. This will have all of Submitty
+    already setup.  Vagrant will build your VM for you.
 
-     ```
-     vagrant up
-     ```
+    ```
+    vagrant up
+    ```
+
+    If you wish to use a specific version of the pre-packaged Submitty VM, on Linux or Mac type:
+    ```
+    PREBUILT_VERSION={version} vagrant up
+    ```
+    or on Windows, type:
+    ```
+    SET PREBUILT_VERSION={version}
+    vagrant up
+    ```
+    *The version must be only the numbers, not including the `v` in front, for example `24.05.00.2405260215` not `v24.05.00.2405260215`*
 
-     *This process will take 10 minutes to maybe half an hour
-     depending on your internet connection speed.*
+    *This process will take 10 minutes to maybe half an hour
+    depending on your internet connection speed.*
 
 
    * **Build from scratch**
 
      If you wish to run `vagrant up` from scratch, on Linux or Mac type:
      ```
-     BASE_BOX=1 vagrant up
+     FROM_SCRATCH=1 vagrant up
      ```
 
      Or on Windows, type: 
      ```
-     SET BASE_BOX=1
+     SET FROM_SCRATCH=1
      vagrant up
      ```
 

_docs/developer/troubleshooting/installation_troubleshooting.md

@@ -44,6 +44,17 @@ with no explanation, then there are a couple of things that may be going wrong:
    This will delete all virtual machine settings. Then install
    the latest version of Virtual Box and vagrant from the links given in step 3 (using Ubuntu Software).
 
+* If you are not using the prebuilt Submitty VM, and you get an error like
+  ```
+  FileNotFoundError: [Errno 2] No such file or directory: '/tmp/tmpad2cfj3v/abernl'
+  ```
+  This is a known issue with our implementation of Git gradeables, which will be resolved when we have the time. Until then, you can do.
+  ```
+  NO_SUBMISSIONS=1 vagrant up
+  ```
+
+  __This will not have submissions in the VM, so you will have to manually add some__
+
 * If it has been a while since your last `vagrant destroy` and
     `vagrant up` you may need to update/upgrade/reinstall the virtual
     box, vagrant, and the installed boxes on your