☰

cmd行を使用して現在のgnome-terminalで使用されている設定ファイルを見つける方法は？

tag-icon • tag-icon command-line gnome-terminal
cmd行を使用して現在のgnome-terminalで使用されている設定ファイルを見つける方法は？

私はUbuntu 16.04を使用しており、特定の端末エミュレータがどのプロファイルを使用しているのかを知りたいです。名前だけでも十分です。

GUIは簡単に見つけることができます。ターミナルウィンドウを右クリックすると、使用しているプロファイルが「プロファイル」の下に表示されます。編集 - >プロファイル設定 - >プロファイル名に移動することもできます。

コマンドラインを使用してこの情報にアクセスしたいのですが、方法が見つかりません。

ベストアンサー1

次のスクリプトが見つかりました。https://github.com/helino/current-gnome-terminal-profile/blob/master/current-gnome-terminal-profile.sh:

#!/bin/bash

FNAME="$HOME/.current_gnome_profile"
gnome-terminal --save-config=$FNAME
ENTRY=`grep ProfileID < $FNAME`
rm $FNAME
TERM_PROFILE=${ENTRY#*=}
echo -n "$TERM_PROFILE"

おすすめ記事