Development Guides
QuickStart​
Premier workspace​
Démarrer Coderdepuis le portail
Se connecter, sélectionner "New Workspace" dans l'interface avec le type de template à instancier :
- Template : environnement de base avec VScode
- Python : environnement pour développer en python avec des librairies préchargées
Une fois le template sélectionné, une page s'ouvre pour définir :
- le nom du workspace
- les paramètres de CPU/RAM/Disque utilisés pour le workspace
Terminer par "Create Workspace".
Le workspace se lance et permet ensuite d'exécuter dans cet environnement :
- un terminal
- un vscode server permettant d'exécuter un vscode distant directement hébergé dans le workspace personnel créé
En cliquant sur vscode-server l'utilisateur récupère une fenêtre avec son vscode distant :

Configurer Git​
Faire un access token sur son compte
git config --global credential.helper store
git config --global user.email "YOUR_EMAIL"
git config --global user.name "YOUR_USERNAME"
git clone <url_from_gitlab ui>
Saisir son nom de user puis son token dans la popup en haut de la fenĂŞtre (Ă faire une seule fois)
Configurer Python​
info
Cette étape n'est pas nécessaire avec le template Python.
Afin de profiter de commandes python dans le template par défaut, il est nécessaire de réaliser les opérations suivantes :
- ouvrir un terminal sur l'environnement
- exécuter les commandes suivantes :
# Create a venv :
python3 -m venv ~/venv
source venv/bin/activate
pip config --user set global.index https://gitea.<domain>/api/packages/athea/pypi/
pip config --user set global.index-url https://gitea.<domain>/api/packages/athea/pypi/simple
pip config --user set global.trusted-host gitea.<domain>
# Load a library to test :
pip install boto3