web-dev-qa-db-ja.com

Ubuntu 17.10のドックで.desktopファイルを手動で編集する

ここや他の場所を検索しても適切な解決策が見つからないという、簡単な質問があります。

17.04はサポート対象外のようですので、最近17.10に再度アップグレードしました。

ドックのエントリを手動で編集したかったため、~/.local/share/applicationsでリストが見つかると予想されていました。

リストは現在のお気に入りと一致していません。つまり、（私は）別の場所にあることを意味します。

usr/share/applicationディレクトリには、.desktopエントリの膨大なリストがありますが、これもドックの内容と一致しません。

Execエントリにコマンドラインパラメーターを追加するには、これらのお気に入りのいずれかを編集する必要があります。

単純に次のように入力します。私のドックのお気に入り.desktopファイルの場所はどこですか？

17.10gnome-shell.desktopubuntu-dockdock
4
Mena

ターミナルを開いて実行する

gsettings get org.gnome.Shell favorite-apps

ドックに追加されたアプリケーションに関連付けられた.desktopファイルのリストが正しい順序で表示されるはずです。

次に、.desktopまたはin /usr/share/applications/で編集する~/.local/share/applications/ファイルを探します。

3
pomsky

お気に入りは、いくつかの。desktop/usr/share/applications/または~/.local/share/applications/のファイルを指す「ショートカット」です。

desktopファイルにパラメーターを追加する（または別の方法で変更する）場合は、2つのapplications/ディレクトリーでファイルを見つけます。

  • ファイルが/usr/share/applications/のみにある場合は、~/.local/share/applications/にコピーし、必要に応じてコピーを編集します（コピーせずに直接編集できますが、ホームディレクトリでのみ変更を行うことをお勧めします）。
  • ファイルが~/.local/share/applications/にある場合、直接編集できますが、変更されていないバージョンを保持する場合は、編集する前に同じディレクトリにコピーを作成します。

コピーを編集した場合、現在のお気に入りを削除して、編集したものを再度追加する必要があります（コピーを作成したため、アプリケーションリストにdesktopファイルが2つあります）。

2
N. Cornet