#!/bin/bash
declare -a machines=("berger" "cavalier" "pion" "roi" "reine" "fou" "pat" "echiquier" "mate")
echo -n User: read user for m in "${machines[@]}" do #ssh ${user}@${m} ' #gnome-terminal -hold "bash -c ssh ${user}@${m}" xterm -hold -e "ssh ${user}@${m} 'cd pingouins;make && ./AI/bin/penguin'" & done