$ rpm --install --verbose --hash --relocate /=~/ /PATH/TO/RPM_FILE linux - Using Yum to install packages for my user only - Super Userを参考にした。

GNOME Shellでテーマを変更するには、エクステンションのUser Themesをインストールする必要がある。ただし、Ubuntu12.04やLinuxMint13においては、User Temesのインストールだけではテーマを変更できないどころかgnome-tweak-toolすら起動しなくなってしま…

ようやくLinuxMintを13にアップデートした。Main Page - Linux MintなんだかんだでGNOME Shellが一番使い勝手が良いのでgnome-sehllとgnome-tweak-toolをインストール。以下はその設定(主にgnome-tweak-tool)。 インストール $ sudo apt-get install gnome-s…

オンラインストレージサービスは Dropbox 更新が多いファイル ＆ テキストファイル Ubuntu One 更新の少ないファイル ＆ バイナリファイル(主にバックアップ用途) のように使い分けている(理由は機会があったらそのときに)。UbuntuだとUbuntu Oneは始めから…

自宅と会社のマシン環境はLinuxMint12を使っている。Linux Mintチーム、デスクトップ環境「Cinnamon 1.3」を公開 | エンタープライズ | マイナビニュース のCinnamonをさっそく試してみた。LinuxMint環境での導入は至って簡単。 $ sudo apt-get install cinn…

Linux環境ではターミナルはTerminatorを使ってる。 今までは画面分割の機能が便利で使っていたんだけど、Terminatorにはプラグイン機能も備わっていてちょっと探してみたら、choffee/terminator-plugins - GitHubにあるsearchplugin.pyがちょっと気になった…