Tôi đã sử dụng (Red Hat, Ubuntu, CentOS, những người khác). Các bản phân phối này sử dụng Gnome-terminal và cung cấp các cách linh hoạt để thiết lập các cấu hình thiết bị đầu cuối khác nhau thông qua menu thả xuống nằm trong cửa sổ thiết bị đầu cuối, ngay phía trên nơi thường nhập lệnh. Các cấu hình này cho phép thực hiện các thay đổi đối với các thuộc tính phông chữ và màu sắc của các tệp khác nhau, v.v.
Những hồ sơ khác nhau cho thiết bị đầu cuối được lưu trữ ở đâu?
Câu trả lời:
Chà, bạn vừa trích dẫn ba bản phân phối sử dụng ít nhất hai Gnomephiên bản khác nhau . Đây là điều quan trọng vì sự di chuyển từ Gnome 2để Gnome 3mà di chuyển từ GTK 2đến GTK 3và những thứ hỗn hợp một chút.
Để đi đến chủ đề của anh ấy, nói chung, tất cả cấu hình của bạn cho người dùng của bạn đều ở $HOMEđâu đó. Trước tiên, bạn cần phải nhìn vào $HOMEchính nó và sau đó thử .configvà .gconfvì cả hai đều gợi ý một thư mục cấu hình.
Điều đó đang được nói và với một tìm kiếm google đơn giản, tôi thấy rằng nó có thể nằm trong ~/.gconf/apps/gnome-terminal/profilesnhưng lực lượng của bạn có thể thay đổi.
GTKphiên bản sẽ ảnh hưởnggtk-2.0vàgtk-3.0cấu hình thư mục mặc dù. Tôi đã nói chung và không chỉ gnome-terminal.