Fedora

デスクトップのX環境を変更する

最近までGNOME使ってたんですが、家の仮想環境をXFceにしたので ノートPCの方も統一しようかと思ってやりました。 やりかた インストール時に他のデスクトップ環境を入れましょう。 後からだと地力で取ってくればいいと思いますが。使うのは、switchdeskコマ…

gnome-shellのテーマをいじる

Fedora17でテーマ変えたいなーって思っていじりました。 相変わらず"けんけんさん"にはお世話になってます。 さて、実際にはけんけんさんが紹介しているほどのことはやってません。 というかうまく出来なかったので、直接CSSファイルいじりました。 ファイル…

Fedora17インストール

リリース日が流れに流れてのでしたがまぁいつも通りなので あまり気にしてなかったです。 前哨戦 LiveCDをDLしてインストールしてみたところ、日本語キーボードの 設定が出てこなくて、そのまま進めてみると日本語が使えないことに... 仕方ないので、DVD版の…

mikutterを普段から使ってるけど、今までrubyのバージョンが 1.8.7だったので、1.9.2を入れることにした。 # wget ftp://ftp.ruby-lang.org/pub/ruby/1.9/ruby-1.9.2-p0.tar.gz # tar zxvf ruby-1.9.2-p0.tar.gz # cd ruby-1.9.2-p0 # ./configure --prefix=…

開発環境導入

結構久しぶりにFedoraいじってる気もする。 Java ここを参考にしました。 なぜかJavaの環境を整えたらmikutterが動かなくなりました。 ヨクワカラン(・ω・`) Haskell # yum install ghc ですんだ。やっぱりWindowsと違って楽。とりあえずここを参考に 簡単なコー…

ちょっとしたこと

最近Fedora14を使っていて, 「パネルを自動的に隠す」 にチェックをいれてしまったわけですよ。そうすると, 画面の表示がおかしくなって不愉快になりました。なんとか戻す方法はないものかと調べてみたり教えてもらったりで。結局 /home/.config を削除する…

Feodora14の導入

ノートPCのメインOSをFedora14にしました。 とりあえず学校などで使用する上で特に問題等はないはず。 というのも、メールの送受信するための設定は完了しているので。 残った問題も特に無いのでいけるはず。 Office関係に関してはOOoで代用出来る範囲は代用…