コンピューターを Ubuntu 16.04 から 17.10 にアップグレードしたところ、gnome-shell のコピー (キーボード ショートカット ctrl+shift+c またはポップオーバー メニューからのコピー) が機能する場合と機能しない場合があり、ソフトウェアはすべて最新のものに更新され、gnome のバージョンは 3.26.1 です。
他に提供できる情報があるかどうかわかりませんが、もしあれば教えてください。できるだけ早く返信します。
ご協力いただければ幸いです〜
gnome-shell ではコピーが機能しない