Workspaces

Mise en place

Aller dans le service « Workspaces »
Cliquer sur le bouton « Create Workspaces » en haut à droite
Sélectionner le directory souhaité
Cliquer sur le bouton « Next »
Cliquer sur « Create additional user » si l'utilisateur n'est pas déjà présent dans le directory
Cliquer sur le bouton « Next »
Sélectionner le ou les utilisateurs à qui donner l'accès au workspace
Sélectionner le bundle « Standard with Ubuntu 22.04 »
Cliquer sur le bouton « Next »
Laisser « AutoStop » avec 1h de délai
Ajouter Tag « Name » ws-utilisateur
Ajouter Tag « ws-type » standard
Cliquer sur le bouton « Next »
Sélectionner la clef pour encrypter
Cocher « Encrypt root volume » et « Encrypt user volume »
Choisir le user volume à 10 GB (root volume 80 GB)
Cliquer sur le bouton « Next »
Cliquer sur le bouton « Create Workspaces »

On peut créer les workspaces de plusieurs personnes en même temps en sélectionnant jusqu'à 25 utilisateurs.

Un seul workspace par personne.

Consulter le Workspace et noter son adresse IP privée
Aller dans le service EC2 / Network Interfaces
Rechercher l'adresse IP privée et noter le Network Interface ID
Choisir Elastic IPs dans le service EC2
Cliquer sur le bouton Allocate Elastic IP address
Puis dans le choix Actions choisir Associate Elastic IP address
Choisir Ressource type avec Network interface
Entrer le network interface ID précédent
Vérifier dans Network Interfaces du service EC2 que l'adresse apparaît bien sur la ligne de l'interface réseau

Générer et transférer une clef ssh (voir Utilisation clef ssh avec Putty).