plotinus
https://github.com/p-e-w/plotinus
Ubuntu 17.10 にGNOME API を利用してコマンドパレットを表示するPlotinus を使ってみました。

インストール

  • 前提ライブラリ

    $ sudo apt-get install git cmake valac libgtk-3-dev
  • Plotinus

    $ git clone https://github.com/p-e-w/plotinus.git
    $ cd plotinus
    $ mkdir build
    $ cd build
    $ cmake ..
    $ make
    $ sudo make install

実行

  • 現在のロケールで実行

    GTK3_MODULES=$PWD/libplotinus.so gedit
  • LANG=C で実行

    LANG=C GTK3_MODULES=$PWD/libplotinus.so gedit

    plotinus

コマンドパレットの表示

Ctrl+Shift+P を押下します。

コメント

2017-05-29