Ubuntu GNOME 14.04では、.jsファイルを使用してgnome-shellで多くの調整を行うことができました。ここで説明するように、これらのファイルはGnome 3.12以降にラップされているようです。
最新の投稿では、.jsファイルを抽出して変更をテストする更新された手順について詳しく説明しています。
ただし、これらの投稿では、変更を永続的にする方法については説明していません。
コマンドを使用して元のファイルを再コンパイルしようとしましたglib-compile-resources resources.gresource.xmlが、gnome-shellを壊すことしかできませんでした。
回答:
残念ながら、JavaScriptファイルに加えられた変更を永続的に実装する中間的な方法はなく、このスレッドで説明されているように、gnome-shellパッケージ全体を再度ビルドする必要があります。
または、アプリケーションの概要を簡単に調整できる拡張機能を待ちます。
注：/usr/lib/gnome-shell/libgnome-shell.so16進エディタで編集することにより、gnome-shellを再コンパイルせずに微調整することが可能です。たとえば、次の操作を行うことで、アプリケーションの概要の列や行の数を変更できます。
libgnome-shell.so何か問題が発生した場合に備えて、バックアップを作成してください。
libgnome-shell.so16進エディター（私はBlessを使用しました）で開き、MAX_COLUMNS = 6テキストとして検索します。
6必要な列数のASCII値で置き換えます。2桁の値が必要な場合は、のように=等号と元の値の間のスペースを削除する必要があります。6MAX_COLUMNS =10
行の数については、を変更して同じことMIN_ROWSを、アイコンのサイズについてはICON_SIZE（を検索const ICON_SIZE）を変更して変更できます。
保存して交換しlibgnome-shell.soます。
gnome-shellを再起動します（Alt + F2を押し、ポップアップで「r」または「restart」と入力してEnterキーを押します）。