Вы можете использовать ярлык ^D, то есть нажать Control и d. Это работает во многих оболочках и оболочечных средах. Технически говоря, эта комбинация клавиш испускает символ окончания передачи (ASCII-код 04). В gnome-terminal, то есть bash и других оболочках, это интерпретируется как завершение интерактивного сеанса. Вы также можете увидеть это поведение в таких программах, как cat, которые читаются со стандартного ввода (клавиатура). Попробуйте запустить его без аргументов; вы можете завершить, введя ^D.