Skip to content

FAQ

Note

This page is a work in progress. The staff might update it with more common questions thoughout the semester.

  • When copying from or pasting into the terminal:
    • ctrl + c is used to terminate processes in CLI. Hence, one has to use ctrl + shift + c/v to copy text from or paste text into the terminal.