ubuntu Переименовать, назвать вкладку терминала -- пример
Primary tabs
Чтобы переименовать вкладку терминала добавьте в файл ~/.bashrc:
sudo nano ~/.bashrc
строки реализации новой функции (например в начало):
# smena zagolovga vkladki terminala
set-title(){
ORIG=$PS1
TITLE="\e]2;$@\a"
PS1=${ORIG}${TITLE}
}
Теперь перезапустите терминал (или откройте новое его окно) и попробуйте выполнить команду переименования вкладки (если система поддерживает русский язык, то можно давать названия на русском):
set-title новое имя
- Log in to post comments
- 6038 reads