Cách thay đổi kích thước phông chữ trong bảng gnome-shell

Tôi đã thử gnome-shell trong Ubuntu bằng cách sử dụng gnome-shell --replacelệnh. Nó hoạt động tốt nhưng tôi nghĩ kích thước phông chữ trong bảng shell là quá lớn.

Có thể tùy chỉnh kích thước phông chữ trong bảng gnome-shell?

Hãy thay đổi cho /usr/share/gnome-shell/theme/gnome-shell.cssphù hợp. Ví dụ: nếu bạn muốn thay đổi phông chữ bảng điều khiển, bạn có thể thêm font-family: "FontName"vào .panel-button. Và bạn có thể tùy chỉnh thêm phông chữ của Bảng điều khiển, v.v.

Bạn có thể kiểm tra bài đăng trên blog của tôi về việc tùy chỉnh gnome-shell: http://joneslee85.wordpress.com/2010/02/11/howto-customize-gnome-shell-theme/

Tìm thấy điều này:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

Tôi đã chơi xung quanh với một số cài đặt trong tệp gnome-shell.css và thông qua một chút thử nghiệm và lỗi, đã quản lý để tăng kích thước của văn bản bên dưới các biểu tượng Ứng dụng. Trên dòng 638, tôi đã tăng kích thước phông chữ từ 7,5pt lên 11,5pt khiến nó dễ đọc hơn. Mã số:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

Tôi cũng quyết định giảm kích thước của các biểu tượng.

.icon-grid .overview-icon {
    icon-size: 96px;
}

Vâng, nó là có thể. Tôi đã từng gặp vấn đề tương tự :)

1. Bạn phải chỉnh sửa tập tin /usr/share/gnome-shell/js/ui/panel.js.
2. Tìm một dòng const DEFAULT_FONTvà thay đổi kích thước phông chữ (hoặc thậm chí tên).
3. Sau này, bạn phải khởi động lại gnome-shell: nhấn Alt+ F2, gõ rvà nhấn Enter.

BTW: Bạn có thể tùy chỉnh hầu hết mọi thứ bằng cách chỉnh sửa các tệp JavaScript nằm trong uithư mục.

Các bài viết đề nghị chỉnh sửa /usr/share/gnome-shell/theme/gnome-shell.csslà chính xác; tuy nhiên, cần lưu ý rằng nếu bạn đang sử dụng một chủ đề gnome-shell thay thế (ví dụ: bạn đang chạy Linux Mint), có thể có các tệp có thể chỉnh sửa bổ sung.

Ví dụ: chủ đề 'Mint-Z' của Mint12 có các tệp .css có thể định cấu hình trong /usr/share/themes/Mint-Z.

Ngoài ra, tiện ích mở rộng gnome-shell có thể có các tệp .css có thể định cấu hình riêng, nằm trong /usr/share/gnome-shell/extensions/{extension id}/hoặc $HOME/.local/share/gnome-shell/extensions/{extension id}/. Tôi không chắc chắn mặc dù nếu các cài đặt này có thể ghi đè mặc định chủ đề.

EDIT: @Guilherme thực sự trả lời câu hỏi của bạn.

FYI Trên hệ thống của tôi ( gnome-shell 3.2.1-0ubuntu1), bộ chọn css thích hợp được đặt /usr/share/gnome-shell/theme/gnome-shell.cssở dòng 720 và được đặt thành 7.5pt. Tuy nhiên, cài đặt thực tế cho hệ thống Mint12 của tôi nằm trong /usr/share/themes/Mint-Z/gnome-shell.css@line 880 và được đặt thành 8pt. Sửa đổi giá trị này, sau đó tải lại chủ đề của bạn bằng lệnh 'rt' tại ALT+F2dấu nhắc.

sudo gedit /usr/share/vte/termcap/xterm

Chỉnh sửa dòng này:

:co#80:it#8:li#24:\

Nguồn:

http://ubuntuforums.org/showthread.php?t=15471