For each of these three terminals, I had three different sets of user commands.
לכל אחד משלושת המסופים היו לי שלוש קבוצות שונות של פקודות משתמש.