terminal getName