MySQLのmanページのライセンスについて
MySQLのmanページのライセンスがGPLからプロプライエタリライセンスに変更されたというようなことが騒ぎになっている。既にご存知の方はいらっしゃるだろうが、これはバグであり意図して行ったものではない。何故このようなバグが起きたかということも含め、今日はmanページにまつわる話をしたい。 バグが起きた仕組み結構な人が「バグでそんなことが起きるの？」と考えたようだ。「manページのマニュアルを差し替えるなんて人為的にやらなきゃ起こり得ない」という思考だろう。そう考える前にひとつ事実を知ってほしい。そもそもMySQLのソースコードとmanページはもともと別個に管理されているということを。 どれでもいいので以下のページに記載されてあるリポジトリをコピーしてみてほしい。 MySQL Server in Launchpad 5.6なら例えば次のコマンドを実行すれば良い。 shelL> bzr br
Google Chrome でフィードを検出する拡張機能 RSS Subscriptions with FEED - feedly を利用するための設定
1. Google Chrome で配信されているフィードを検出する RSS Subscriptions with FEED Google Chrome でフィードを配信してるサイトにおいて、フィードを登録するには、 RSS Subscriptions with FEED: Handler Support を使う。インストールすると、ロケーションバーに配信されているフィードを表すアイコンが表示される。 アイコンをクリックすると、登録可能なフィードの候補が表示される。 一つのフィードを選択すると、フィードのプレビューが表示される。 フィードリーダーに登録するには、対象のフィードリーダーを選択して、Subscribe Now ボタンを押す。 2. Feedly への登録ボタンを作成する フィードリーダーとして、Feedly を利用するには、新規に追加する必要がある。 そのためには、フィードリー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
