有兩個gnome-terminal的問題:
1. 最升級後(apt-get update; apt-get upgrade -y)點選 gnome-terminal 的Edit > Profiles 沒有對話框跳出來可以更改 profile 設定.
2. 在 gnome-terminal 無法切換輸入法 (無法輸入中文). 但是 ps -ef | grep gcin 可以看到 gcin process 正在執行, 且在其他應用程式底下可以輸入中文.
目前使用 stretch/sid, 4.0.0-2-rt-686-pae