Làm cách nào để đổi tên tiêu đề tab thiết bị đầu cuối trong gnome-terminal?

Được sử dụng để có thể nhấp chuột phải vào tab và thay đổi tiêu đề. Không chắc làm thế nào để làm điều này nữa. Chỉ cần nâng cấp lên Fedora 21.

EDIT: Tôi đã chuyển từ gnome-terminal sang ROXterm

Tạo một chức năng trong ~/.bashrc:

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Sau đó sử dụng lệnh mới của bạn để đặt tiêu đề thiết bị đầu cuối. Nó cũng hoạt động với khoảng trắng trong tên

set-title my new tab title

Sau đó có thể sử dụng set-titlelại (PS1 gốc được bảo tồn dưới dạng ORIG).

Các user titlemã đã được loại bỏ ¹ từ gnome-terminal 3.14. Để đặt tiêu đề, bạn có thể sử dụng một chuỗi thoát:

printf "\e]2;YOUR TITLE GOES HERE\a"

hoặc ví dụ với bash:

PROMPT_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"'

^{1: xem lỗi gnome 724110 và lỗi gnome 740188 .}

Các phiên bản mới của gnome-terminal vừa vứt bỏ hầu hết các tính năng chuyên nghiệp hữu ích. :-(

Tôi đã cố gắng thiết lập và có được một phiên bản cũ hơn của gnome-terminal đang chạy và cũng so sánh các lựa chọn thay thế.

Nếu terminatorquá kỳ lạ đối với bạn, thì đó mate-terminallà một lựa chọn tuyệt vời! Nó là một nhánh của gnome-terminal và chỉ giữ tất cả các tính năng tốt:

• bạn có thể mở nhiều tab từ dòng lệnh cho chúng các tiêu đề khác nhau

  mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
  

• bạn có thể thiết lập phím tắt (tôi sử dụng Ctrl + Shift- i ) để đặt ở i tle

Khi bạn chạy một chương trình thường trú như top hoặc ssh, tab được dán nhãn chính xác.

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb" 

Nếu bạn đang sử dụng Ubuntu 16.04, bạn có thể cần phải:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

Tôi liệt kê đây là một thông tin thêm về nó tại liên kết .

đặt cái này vào .bashrc:

function title() { 
  p1='echo -ne "\033]0;' 
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

Là một bản mở rộng cho câu trả lời của @Weston Ganger, nếu bạn muốn tự động đặt tiêu đề khi mở thiết bị đầu cuối Gnome mới, thì hãy thêm phần này vào cuối trang ~/.bashrc:

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

Sau đó khởi chạy một thiết bị đầu cuối như:

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

và nó sẽ tự động chạy set-titleđể áp dụng tiêu đề.

giải pháp một dòng, thêm dòng sau vào .bashrc của bạn

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

bây giờ gõ tab_name trong terminal tức là

user:~$ tab_name  
Name to Assign: ( type desired name here! )

Làm xong