Indice

• Indice
• Configurazione iniziale
  • Installare UV
  • Clonare la repo
  • Attivare il virtual environment di uv
    • Aggiornare il venv con le impostazioni del pyproject.toml
    • Per sicurezza installare i tool anche globalmente
  • Impostare il proprio nome
  • Impostare l'upstream
  • Impostare check e formatting prima dei push
• Comandi
  • Python
    • Eseguire il codice sul robot
  • Git
    • Pullare modifiche dal server
    • Stagare file modificati
    • Committare le modifiche
    • Pushare le modifiche al server

Configurazione iniziale

Important

Eseguire tutti i comandi nella cartella clonata (eccetto installazione di UV e clone della repo)

Installare UV

🐧 Linux / 🍎 macOS

curl -LsSf https://astral.sh/uv/install.sh | sh

🪟 Windows

powershell -ExecutionPolicy ByPass -c "irm https://astral.sh/uv/install.ps1 | iex"

Clonare la repo

git clone https://git.latentspace.cloud/senpai/FLL
# la prima volta chiederà username e password

Attivare il virtual environment di uv

🐧 Linux / 🍎 macOS

source .venv/bin/activate

🪟 Windows

Set-ExecutionPolicy -ExecutionPolicy Bypass -Scope Process -Force
./venv/Scripts/activate.ps1

Aggiornare il venv con le impostazioni del pyproject.toml

uv sync

Per sicurezza installare i tool anche globalmente

uv tool install ruff
uv tool install lefthook

Impostare il proprio nome

git config user.name "tuo_nome"
git config user.email "tuo_nome@latentspace.cloud"

Impostare l'upstream

git push -u origin main

Impostare check e formatting prima dei push

lefthook install

Comandi

Python

Eseguire il codice sul robot

pybricksdev run ble <nome_file.py>

Se si hanno più robot specificare il nome

pybricksdev run ble --name <nome_robot> <nome_file.py>

Git

Pullare modifiche dal server

git pull

Stagare file modificati

# singoli file
git add <nome_file1> <nome_file2>
# tutti i file
git add .
# con glob
git add *.py

Committare le modifiche

Nel messaggio di commit specificare cosa è stato cambiato nei file.

git commit -m "messaggio di commit"

Pushare le modifiche al server

git push