Last updated on

Final Exam Troubleshooting Guide

Best practices

We recommend that you create a local Git repository in your VM to track your progress. This will make it easy to recover from mistakes.

Alternatively, to make a backup copy of your code, open your home directory in the file browser, right click the final directory, and click “Compress” to create a backup archive.

If you need to revert a file from final/ and you did not set up a git repository, open a new terminal and use:

What if …

If you delete ~/.sbt or other session files

Speak to an assistant. Beware: recovering in that case will take some time.

If Metals or a worksheet does not work

Note that Metals and worksheets are provided on a best-effort basis and are not guaranteed to work. If they do not work, use only sbt. Metals issue will not be sufficient to get your grade reconsidered or get extra time.

If typing information is missing or auto-complete does not work

It means Metals is not working properly. Following “If Metals or a worksheet does not work”.

If you use the test debugger but it does not stop at breakpoints

You’re on your own: we do not provide support for VSCode’s debugger.

If Metals asks to turn off the old server and start a newer one

For example, if you first open final/ in VSCode and start Metals, then realize you are using the wrong folder and open final/code/<name> instead, you may see a popup window like this (with different version numbers):

It is normal. Click “Turn off old server” and a newer build server will start.

How to …

How to adjust the cursor speed

Hover your mouse on the bottom-right corner of your screen to trigger the VDI menu. Click “Settings” on the VDI menu and adjust your cursor speed.

Adjusting your cursor speed using the Ubuntu settings will NOT have any effect: use the VDI setting.

How to adjust screen brightness

Press the buttons of your monitor to adjust screen brightness. It depends on the monitor model of your room.

If the screen brightness option is locked, try to unlock it by pressing the on/off button of your monitor for 10 seconds.