Gnome: Thay đổi tiêu đề của thiết bị đầu cuối hiện tại từ dòng lệnh bash

9

Tôi biết có các tùy chọn để bắt đầu một thiết bị đầu cuối mới với một tiêu đề được chỉ định và có thể thay đổi tiêu đề từ một thiết bị đầu cuối bằng cách sử dụng menu: 'Terminal' -> Đặt tiêu đề.

Tuy nhiên, tôi muốn thay đổi nó cho một thiết bị đầu cuối hiện tại từ dòng lệnh. Làm cách nào để thay đổi tiêu đề cho thiết bị đầu cuối Gnome hiện có từ dòng lệnh?

— Máy đánh bóng
nguồn

13

Xuất ra một chuỗi thoát xterm thích hợp.

echo -ne '\033]0;New title\007'

Xem thêm Cách thay đổi tiêu đề của xterm .

— ba
nguồn

Hoàn hảo, đó là nó! : D Ngoài ra, cảm ơn vì liên kết rất thú vị.

— Sander

Đẹp, nhưng nó có tương thích đa nền tảng không?

— l0b0

1

@tripleee: Thông thường nên sử dụng tputcác lệnh để in các chuỗi thoát như vậy, như được đề cập trong bản sao chính xác này .

— l0b0

1

@triplee Cảm ơn bạn đã đóng góp! Tuy nhiên tôi không coi câu hỏi này là một bản sao chính xác của câu hỏi mà bạn đã đề cập. Bối cảnh của câu hỏi khác là rất khác nhau.

— Sander

2

Điều này dường như không còn hoạt động

— kapad

0

Có thể đáng để bạn thử dùng KDE. Nó có các cửa sổ đầu cuối được gắn thẻ và mỗi tab có thể được đặt tên chỉ bằng cách nhấp chuột phải vào tab.

— Scott C Wilson
nguồn

Tuy nhiên, cảm ơn lời đề nghị của bạn, tôi vẫn thích Gnome :)

— Sander

0

Nếu bạn cần đặt nó thành tên máy chủ nơi bạn đăng nhập, bạn có thể sử dụng:

echo -ne "\ 033] 0; $ {HOSTNAME} \ 007"

— Benjamin Goodacre
nguồn

0

Nếu bạn đang sử dụng Ubuntu 16.04, bạn có thể cần xóa PS1 và PROMPT_COMMAND như:

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

Tôi cùng nhau viết lên nó ở đường dẫn .

— Zach Pfeffer
nguồn