un po' di misurazioni ripetute con time ${nome-terminale} -e exit mi danno circa 0.9 secondi per terminal e 1.1 secondi per gnome-terminal

domani magari vedo di fare qualche conto medio