Salut, il y a une option -d qui te permet de spécifier l’identifiant de la carte à utiliser:
-d, --devices Comma separated list of CUDA devices to use.
Device IDs start counting from 0.
Dans ton cas, je ne pense pas que ça pose de problème si tu lances une commande par carte.
Par exemple:
t-rex -d 0 <options pour la 2080>
t-red -d 1 <options pour la 2080 TI>