gnome-terminal設定ファイルを別のコンピュータにエクスポートできますか?
編集>デフォルト設定を使用して端末設定ファイルを作成し、「def」として保存しました。構成をファイルとして保存し、別のコンピュータで使用したいと思います。
.config/dconf/でgrep "def"を試してみました。
Binary file dconf/user matches
設定から情報(特に色に関する情報、正しい色を見つけるのに時間がかかります)を抽出して他のコンピュータで使用できますか?
私はFedora 28とgnomeを使用しています。
4.16.13-300.fc28.x86_64
、gnome-terminal-3.28.2-2.fc28.x86_64
。
答え1
dconf(1)
gnome端末設定ファイルをダンプしてロードできます。このソースからデフォルトのコマンド使用法を入手しました。
https://gist.github.com/reavon/0bbe99150810baa5623e5f601aa93afc
あるシステムからすべてのgnomeターミナル構成ファイルをエクスポートしてから別のシステムにロードするには、次のコマンドを実行できます。
ソースシステム:
$ dconf dump /org/gnome/terminal/legacy/profiles:/ > gnome-terminal-profiles.dconf
ターゲットシステム(gnome-terminal-profiles.dconfファイルを転送した後):
$ dconf load /org/gnome/terminal/legacy/profiles:/ < gnome-terminal-profiles.dconf
答え2
助けてくれてありがとう。
私もgithubのポイントが非常に便利だと思います。しかし、何とかエクスポートされた.dconfファイルをインポートできなくなりました。 Zeb DeOsが提供するロードコマンドを実行すると、次のエラーが発生し続けます。
エラー:キーファイルがグループとして起動されません。
いくつかの試行錯誤の後、私は.dconfファイルの最初の行が問題であると結論付けました。
default='...'
先頭行を次のように変更するとロード可能に見えます。
[/]
したがって、役に立つ場合は、ロードするファイルは以下の形式でなければなりません。タイトルのリスト項目は以下の項目に該当する。
============================================
[/]
list=['22cb430e-3fde-42cb-a167-cc35a6b788cc', '4b1f055e-9bc4-4b58-bb12-eb5657db78fc']
[:22cb430e-3fde-42cb-a167-cc35a6b788cc]
audible-bell=false
background-color='rgb(255,255,221)'
cursor-shape='ibeam'
foreground-color='rgb(0,0,0)'
palette=['rgb(46,52,54)', 'rgb(204,0,0)', 'rgb(58,43,143)', 'rgb(196,160,0)', 'rgb(52,101,164)', 'rgb(117,80,123)', 'rgb(6,152,154)', 'rgb(211,215,207)', 'rgb(85,87,83)', 'rgb(239,41,41)', 'rgb(150,52,226)', 'rgb(252,233,79)', 'rgb(114,159,207)', 'rgb(173,127,168)', 'rgb(52,226,226)', 'rgb(238,238,236)']
use-theme-colors=false
visible-name='light'
[:4b1f055e-9bc4-4b58-bb12-eb5657db78fc]
audible-bell=false
background-color='rgb(0,0,0)'
background-transparency-percent=17
cursor-shape='ibeam'
font='Monospace 12'
foreground-color='rgb(172,228,255)'
palette=['rgb(46,52,54)', 'rgb(175,95,255)', 'rgb(0,102,255)', 'rgb(196,160,0)', 'rgb(255,7,168)', 'rgb(117,80,123)', 'rgb(6,152,154)', 'rgb(211,215,207)', 'rgb(85,87,83)', 'rgb(235,148,255)', 'rgb(0,229,255)', 'rgb(252,233,79)', 'rgb(114,159,207)', 'rgb(173,127,168)', 'rgb(52,226,226)', 'rgb(238,238,236)']
use-system-font=true
use-theme-colors=false
use-theme-transparency=false
use-transparent-background=true
visible-name='hi'
============================================