https://extensions.gnome.org/ウェブサイトにアクセスして gnome-shell拡張機能をダウンロードする方法を知っていますが、インターネットにアクセスできないコンピューターにいくつかの拡張機能をインストールする必要があります。内部の企業ネットワーク内にあり、外部のインターネットアクセスを取得する方法がないため、別の方法を見つける必要があります。USBディスクのファイルをコピーできます。
自宅のコンピューターで、拡張機能を〜/ .local / share / gnome-shell / extensions /で見つけましたが、このフォルダーを目的の企業コンピューターにコピーしただけではうまくいきませんでした。
gnome-tweak-toolを実行すると「Install Shell Extension」ボタンが表示されますが、このボタンを使用してインストール可能な形式で拡張機能をダウンロードする方法がわかりません。上記のフォルダーをポイントしようとしましたが、機能しませんでした。
何をする必要がありますか？