学校に通わずに学ぶログ

少し前にこのブログに書いた 「Opera11のアップデートで公開鍵が利用できないエラー」 の問題が解決した。というより、いつのまにか解決していた。下のようにarchive.keyをダウンロードし、 apt-key add しても解決しなかったのだが、現在ではそうではないようだ。 # wget -O - http://deb.opera.com/archive.key | apt-key add - 今は上記のようにすればおそらく解決する。おそらくは、公開鍵が2011年のものになっていたにもかかわらず、archive.keyファイルにまでそれが反映されていなかったためではないだろうか？？ それとも他に原因があったのだろうか？？

Operaの最新バージョンを deb.opera.com からaptitudeを使って私はいつもアップグレードしているのだが、最近になって、aptitude updateを実行すると次のようなエラーメッセージが表示されるようになった。 W: GPG error: http://deb.opera.com lenny Release: 公開鍵を利用できないため、以下の署名は検証できませんでした: NO_PUBKEY A2019EA84E7532C8 W: これらの問題を解決するためには apt-get update を実行する必要があるかもしれません http://deb.opera.comに書かれているように次のようにしてarchive.keyを取得してもこの問題は解決しない。 # wget -O - http://deb.opera.com/archive.key | apt-key add - インターネット上をいろいろ調べてもこの解決策がなかなか見付からないので、やむをえず仕方なくOperaの公式サイトからDebian用のdebパッケージをダウンロードし、dpkgでインストールするしかなかった。 dpkg -i opera_11.00.1176_i386.deb aptitudeのデータベースに不具合が生じるかもしれないので、よい子は真似をしないように（笑）。ただいま、この解決策を模索中。 追記： いつのまにか解決していた。 deb.opera.com の公開鍵が利用できないエラー

USBメモリにファイルを書出したり削除したり移動したり、ディレクトリを作成したり削除したり移動したりすることができなくなった。それらの操作をするとLinux(Debian Gnu/Linux lenny)がそれらのファイルやディレクトリは「読出し専用」だと応答してくる。しかしそれらのファイルやディレクトリのパーミッションを見ると、rwxrwxrwxとなっており、読出し専用には見えない。このUSBメモリにはそれらの操作を物理的にロックする機能は装備されていない。いったいぜんたいどうなってしまったのやら。 不思議なのは、このUSBメモリを一端umountして再度mountするとこれらの症状が一時的にだが改善すること。物理的に完全に破損してしまったのかと最初は諦めかけたのだが、そうこうしているうちに、この症状が改善したり再発したりを繰り返すようになった。この症状が一端出てしまうと再mountしないかぎり改善しないが、再mountすれば改善する。しかし使っているうちにまた再発する。この繰り返し。 再マウントを繰り返しながらファイルを一つずつ削除しているうちに、削除(rm)しようとすると「入力/出力エラー」を生じるディレクトリに遭遇した。このディレクトリだけは再マウントをいくら繰り返しても削除できず、入出力エラーを吐き出し続けた。これについてはUSBメモリのファイルシステムが壊れている可能性が疑われる。 そこで、コマンドライン上でsuコマンドを使ってルートになり、fsckを使ってファイルシステムのチェックを試みたが、失敗した。このUSBメモリのファイルシステムのタイプはどうやらFAT32らしい。FATのチェックのためには、fsck.vfatもしくはfsck.msdosというコマンドが必要なようだが、コマンドライン上でfsckと入力してタブキーを二度押してもfsck.vfatもfsck.msdosも表示されなかった。 $ apt-cache search fsck.vfat dosfstools-dbg - utilities for making and checking MS-DOS FAT filesystems (debug) dosfstools - MS-DOS FAT ファイルシステムの作成および検査用ユーティリティ 上述のように、dosfstoolsというdeb...

コマンドラインインターフェース上で作動中のオペレーティングシステムの情報を調べるためには、unameというコマンドが便利。 $ uname オプション オプション 説明 -s このカーネルの名称を表示 -n このネットワークノードのホスト名を表示 -r このカーネルのリリース番号を表示 -v このOSのバージョンを表示 -m このアーキテクチャを表示 -o このOSの名称を表示 -p このプロセッサーのタイプを表示 -i このハードウェアのプラットフォームを表示 -a 上記のすべての情報をまとめて表示 --help このコマンドについての説明とオプションを表示 ただし、-pと-iというオプションは、通常では"unknown"と表示されるだけ。

Robocodeのダウンロードとインストール Linuxプラットフォームでの方法であるが、Windowsなどでもほとんど同じだと思われる。 http://robocode.sourceforge.net/ へアクセス Downloadのリンクをクリック robocode-バージョン名-setup.jar をダウンロード コマンドライン上で $ java -versionと入力してJavaのバージョンを確認 $ java -jar robocode-バージョン名-setup.jar としてインストール $ ./robocode.sh を実行して起動

cm <p style="font-size:0.45cm;">具体例</p> 具体例 mm <p style="font-size:4.5mm;">具体例</p> 具体例 px <p style="font-size:17px;">具体例</p> 具体例 ex <p style="font-size:2.3ex;">具体例</p> 具体例 in <p style="font-size:0.17in;">具体例</p> 具体例 % <p style="font-size:120%;">具体例</p> 具体例 medium <p style="font-size:medium;">具体例</p> 具体例 em <p style="font-size:1.3em;">具体例</p> 具体例 pt <p style="font-size:12pt;">具体例</p> 具体例 pc <p style="font-size:1pc;">具体例</p> 具体例

bdoタグを使う lang="ar"は言語名コードの指定。arはアラビア語の言語名コードを指す。 <bdo lang="ar" dir="rtl">صباح الخير</bdo> صباح الخير 日本語とアラビア語を混在させた文を記述するには <p>アラビア語で「学校」を「<bdo lang="ar" dir="rtl">مَدْرسَةٌ</bdo>」と書く。「<bdo lang="ar" dir="rtl">ة</bdo>」が語末にあるので女性名詞である。</p> アラビア語で「学校」を「 مَدْرسَةٌ 」と書く。「 ة 」 が語末にあるので女性名詞である。 スタイルシートで記述するには スタイルシートでは次のように記述する。 { unicode-bidi: embed; direction: rtl; } HTMLタグの属性として記述する場合は、例えば次のように記述する。 <p lang="ar" style="unicode-bidi: embed; direction: rtl;">صباح الخير</p> صباح الخير