Development Environment¶

Doxygen¶

sudo apt update
sudo apt install doxygen doxygen-doc doxygen-latex -y

Visual Studio Code¶

Installation¶

Download Visual Studio Code (available at https://code.visualstudio.com/download)

Execute the following commands

cd ~/Downloads/
sudo apt install ./code_1.97.2-1739406807_amd64.deb -y

Setup¶

Open Visual Studio Code
- GNOME menu
- Terminal ($ code | $ code . to open the VS Code in the current directory)
Extensions (Ctrl+Shift+X | File Preferences Extensions)
- ms-vscode.cpptools-extension-pack
  - ms-vscode.cpptools
  - ms-vscode.cpptools-themes
  - ms-vscode.cmake-tools
- ms-python.python
- ms-python.debugpy
- ms-python.vscode-pylance
- cschlosser.doxdocgen
- ms-iot.vscode-ros
- redhat.vscode-xml
- redhat.vscode-yaml
- tomoki1207.pdf
- platformio.platformio-ide
  Warning
  
  PlatformIO requires the Python Virtual Environment to be installed as well as possibly needing to have python as an alias to python3 (https://docs.platformio.org/en/latest/faq/install-python.html).
```
sudo apt install python-is-python3 python3-venv -y
```
- sdras.night-owl

User settings (Ctrl+Shift+P Preferences: Open User Settings (JSON))

settings.json

{
    "editor.renderWhitespace": "none",
    "editor.tabSize": 2,
    "files.trimTrailingWhitespace": true,
    "files.trimFinalNewlines": true,
    "editor.rulers": [
        80, 120
    ],
    "cmake.configureOnOpen": false,
    "workbench.colorTheme": "Night Owl",
    "explorer.confirmDragAndDrop": false,
    "explorer.confirmDelete": false,
    "terminal.integrated.stickyScroll.enabled": false,
    "git.openRepositoryInParentFolders": "always",
    "window.title": "${dirty}${rootName}"
}

SSH Network Shared Folder¶

Open File Explorer (Super+E)
Other Locations Connect to Server
- Connect to Server: ssh://user@discoveryq2/home/user/

SSH Keys¶

Execute the following commands

ssh-keygen -t ed25519 -C "discoveryq2@inesctec.pt"
eval $(ssh-agent -s)
ssh-add .ssh/id_ed25519

Copy the contents of your public key file
```
xclip -sel c < ~/.ssh/id_ed25519.pub  # (1)!
cat ~/.ssh/id_ed25519.pub
```
1. This command may not work when access your robot through a non graphical interface.
Sign in to GitLab
On the left sidebar, select your avatar
Select Edit profile
On the left sidebar, select SSH Keys
Select Add new key
Verify that you can connect
```
ssh -T git@gitlab.inesctec.pt
```

More information in https://docs.gitlab.com/user/ssh/.

Tip

In order to avoid setting up the ~/.ssh/config file, you can use the same SSH key for different Git servers.