Retourner au contenu associé (entrée de forum : Où est mon terminal ?)
Posté par chimrod (site web personnel) le 11 avril 2021 à 18:16. En réponse au message Où est mon terminal ?. Évalué à 2.
Bon, je pense avoir trouvé la source de mon problème : la Glib utilise une liste de terminaux dans une liste pré-définie en dur dans le code :
https://github.com/GNOME/glib/blob/master/gio/gdesktopappinfo.c#L2581
Par contre, je n'ai aucune idée de savoir comment contourner ce problème, ni même a qui le remonter !
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: xdg-open?
Posté par chimrod (site web personnel) . En réponse au message Où est mon terminal ?. Évalué à 2.
Bon, je pense avoir trouvé la source de mon problème : la Glib utilise une liste de terminaux dans une liste pré-définie en dur dans le code :
https://github.com/GNOME/glib/blob/master/gio/gdesktopappinfo.c#L2581
Par contre, je n'ai aucune idée de savoir comment contourner ce problème, ni même a qui le remonter !