GNOME Terminal
bản thân nó không cung cấp tùy chọn như vậy, vì vậy bạn phải tự vận hành trên cơ sở dữ liệu của nó.
Bắt đầu với phiên bản 3.8, nó sử dụng GSettings
, lần lượt (ít nhất là trên các hệ thống Linux) sử dụng dconf
. Nó có thể sẽ thanh lịch hơn khi đi với gsettings
công cụ. Thật không may, tôi không thể tìm ra cách đổ tất cả dữ liệu liên quan ở đó, chứ đừng nói đến việc khôi phục chúng. Vì vậy, hãy sử dụng dconf
.
Dựa trên bài viết này , bạn có thể kết xuất cài đặt của mình bằng cách sử dụng:
dconf dump /org/gnome/terminal/ > gnome_terminal_settings_backup.txt
Đặt lại (xóa sạch) các cài đặt trước khi tải một cài đặt mới (có thể không thực sự cần thiết):
dconf reset -f /org/gnome/terminal/
Tải các cài đặt đã lưu:
dconf load /org/gnome/terminal/ < gnome_terminal_settings_backup.txt
Tuyên bố miễn trừ trách nhiệm: Tôi chưa thử các bước khôi phục. Tôi khuyên bạn nên trước khi thao tác thiết lập lại / tải, bạn sao lưu toàn bộ cơ sở dữ liệu dconf của mình, được lưu trữ trong một tệp ~/.config/dconf/user
, sử dụng thao tác sao chép hệ thống tệp tiêu chuẩn đơn giản (trái ngược với một số lệnh dconf). Trong trường hợp có vấn đề, bạn có thể khôi phục nó dễ dàng (có thể từ trình giả lập thiết bị đầu cuối khác hoặc bảng điều khiển Linux).