verilog書く人

自称ASIC設計者です。どなたかkaggle一緒に出ましょう。

Ubuntu 18.04でPycharmをランチャーとお気に入りに登録する。

PyCharmを公式からダウンロードして展開して/bin/pycharm.shを叩けば実行できるが、 常に左に表示されているgnomeのお気に入りバーにこんな感じで登録されていた方が立ち上げやすい。

f:id:segafreder:20190429152842p:plain

ランチャーへの登録

ランチャーに登録するだけなら、まずこの記事の通り.desktopファイルを作る。 UbuntuのランチャーへPyCharmを登録する – ngi644の日記

[Desktop Entry]
Version=1.0
Type=Application
Name=PyCharm
Icon=/home/ryo/Downloads/pycharm-community-2019.1.1/bin/pycharm.png
Exec="/home/ryo/Downloads/pycharm-community-2019.1.1/bin/pycharm.sh" %f
Comment=Python IDE
Categories=Development;IDE;
Terminal=false
StartupWMClass=jetbrains-pycharm

↑のような内容のファイルを~/.local/share/applicationsに保存してファイルエクスプローラ(Nautilus)でダブルクリックしてもエラーで実行できなかったので以下のような手続きを行った。

.desktopファイルを右クリック→プロパティして

f:id:segafreder:20190429151907p:plain

Allow Executing...をチェックする。もう一度ファイルエクスプローラで、.desktopファイルをダブルクリックすると信じるかどうか聞かれるので、自分が作ったファイルなので信じてやれば、ランチャーから起動できるようになる。

f:id:segafreder:20190429175140p:plain

お気に入りの登録

通常であれば起動中にお気に入りバーで右クリックしてやると、「Add to favorite」という選択肢が出て、それを選ぶだけでクリックできるのだが、なぜかPyCharmではできなかった。

f:id:segafreder:20190429152150p:plain

いろいろ調べると、このページの言うとおり Show ApplicationsでPyCharmを検索して表示させ、それをお気に入りバーにドラッグ・アンド・ドロップすればよい。