RSS2.0
gnome-do-plugins-0.8.2
Build Environment
Install Prefix: /usr/local
Plugin directory: /usr/local/lib/gnome-do/plugins
Mono C# Compiler: /usr/bin/gmcs
Mono Runtime: /usr/bin/mono
Optional plugins:
Banshee: no
Evolution: no
Flickr: no
Google Calendar: no
Google Contacts: no
Google Docs: no
YouTube: no
Build/Development:
Release Build: no
gnome-do動作はするのですがある日突然吹っ飛ぶんです....
nautllus-open-terminal 端末を開いた時のディレクトリーをhomeにする。
カテゴリー » Raspberry Pi 2 Model B
desk_opens_home_dir を有効にする。
— posted by くま at 02:04 pm
gnome-terminal 端末を開いた時の大きさを変える
カテゴリー » Raspberry Pi 2 Model B
設定エディターでgnome-terminal profile Default で変更できます。
use_custom_default_size が有効に なっていないと何も効果はありません。
use_custom_default_size が有効に なっていないと何も効果はありません。
— posted by くま at 01:11 pm
Comments