Coming back to Kodi with Vero 4k+

First you need to figure out how to SSH into your Vero

and those commands are seperate

I would actually recommend going to youtube and finding a short beginners tutorial on linux command line. It would probably be helpful to get a very basic understanding of the terminal before you start playing around too much. At the very least it will be a lot less confusing once you have a general idea of what your typing in and why.

Here is a cheatsheet and some tutorials for how to navigate in a Linux shell: Cheatsheets and Tutorials for users new to Linux based operating systems