2007-01-01から1年間の記事一覧

Mew で Spotlight を使ってメールを検索する

設定どうやってやるのか忘れた. http://www.mew.org/feature/spotlight.html.ja 参照. ↑を見て設定した気がします.次に設定する機会があったら書き直します.使い方summery mode で k-c 検索エンジンの切り替え.Spotlightを選びます k-m インデックスの…

MewのSpotlight検索でto=を使えるようにする

Mac で Mew を使うとき Spotlight を使えば便利なはずなのですが,なぜか to= だけ使えない. なんでだろう、と思ってソースを読むと確かに to= の項目だけ無い(Mew5.2).以下 mew-pick.el (defun mew-pick-pattern-spotlight-kyvl (kyvl) (let ((op (nth 0 …

Spin

Mac OS X へのインストール.Spin はモデル検査ツールです. ここを読めばインストールできます以下はインストールログです. $ tar zxvf spin429.tar.gz $ cd Spin/Src4.2.9/makefile を編集.CC=cc -DNXTをCC=cc -DNXT -DCPP="/usr/bin/cpp -xassembler-wi…

Lucene

結構簡単に作れそうです. Lucene のインデックスの構造 インデックスはドキュメントから成ります. ドキュメントは"メール文書"とか"Webページ"とか,ある構造を持つ一つの文書であると考えればよいか? ドキュメントはフィールドから成ります. さらにフィ…

plagger

Plagger 使ってみました. Mac OS X なら Plagger を簡単にインストールする これを展開するだけです.インストール$ curl -O http://8-p.info/Plagger/Plagger-Mac-0.7.11-2.tar.gz $ tar zxvf Plagger-Mac-0.7.11-2.tar.gz $ mv Plagger-Mac-0.7.11-2.tar.…

漢のzsh

zsh

漢のzsh 第一回(MYCOMジャーナル) zshの連載が始まったみたいなので注目.まずは compinit の紹介のようですが,たしかにこれだけでも相当便利になります. Tab ボタンを叩くのが楽しくなります.とにかくこの連載に注目.

howm

Emacs のメモ帳モードです.別に自分で管理してるよ,という人には向かないかも. 整理整頓できない僕にはとりあえず一定の場所に保存されるだけでもありがたい. 僕のメモは全てこれに記載されています. 現在174ファイルありました.インストール~/howm へ…

migemo

Mac OS X の Carbon Emacs で migemo.migemoは日本語をローマ字でインクリメンタルサーチするためのツールです. これならアルファベット入力モードのままインクリメンタルサーチできます.cmigemo のインストールまずエンジンである cmigemo を入れます. …

Google カレンダーを携帯で見る

ネタ元 (たたみラボ)

todo.txt

前から気になっていた todo.txt を使ってみました. コマンドラインによる TODO 管理ツールです.インストールダウンロードしてきて展開し,現れる .todo をhome直下に移動. todo.sh はどこかパスの通る場所に移動..todo を編集し,TODO_DIR を適宜編集.…

FireBug1.0リリース

FireFox の Extension, FireBug1.0 がついにリリースしました. このツールに関してはいろんなところで紹介されています. 僕はブラウザといえば Opera 派なのですが,Web開発は FireFox + FireBug でやります.とにかく便利. 特に CSS を書き換えると即座…

squid

FreeBSD 5.4 に Squid をインストール. # portinstall squid 途中で squid グループが作れないといってエラーになるので自前で作る# vi /etc/group squid:*:3128:を加える。 再度インストールすると完了。/etc/rc.conf に squid_enable="YES" を加えて # /u…

rsnapshot

Pull 型のリモートバックアップツールです. つまりクライアント A からサーバ B にバックアップしたい場合, サーバ B に rsnapshot をインストールして サーバ B から cron とかで起動してクライアント A からデータを引っ張りこむことでバックアップしま…

XServe のサーバの起動/停止

XServe のサーバを起動/停止する場合"サーバ管理"を使うのが普通ですが,これは Mac のツールです. Windows とか Unix/Linux しか手元に無い場合,Mac でもサーバ管理がインストールされていない場合は コマンドラインで起動/停止を行います.・リスト表示 …

zsh

zsh

zsh は非常に強力なシェルです. bash と tcsh のいいところを包含している感じのシェルです. 僕は FreeBSD を使っていたのでもともと tcsh 派だったのですが,今は完全にzsh派です. とりあえずこれを見ればすごさが分かるでしょう.

tuareg-mode

OCaml のための Emacs のモードです. 本家.ダウンロードはこちらから基本的なキーバインドC-c C-e 評価 C-c C-b バッファを評価 C-c C-r リージョン内を評価 M-; コメント. マークしているときはリージョン内をコメントアウト

バッファリストの保存/読み込み

手前味噌ですが...Emacs で文書やプログラムを書く場合,C-x b などでバッファの切り替えをやるというのは メジャで非常に便利なのですが,一度 Emacs を落とすとバッファが消えてしまい最初から 開き直さなければならなくなります.そこでバッファのリスト…

Cygwin で platex を簡単にインストールする

Windows で Tex環境を用意するのは昔は結構面倒だったんですけど,今はかなり手軽になってます. Cygwin を使っている方は以下のリンク先の方法で簡単にインスールできます. Cygwin で 日本語 TeX --- ptetex を簡単インストール

Tomcatの基本認証にMySQLを利用する

Tomcat の基本認証に MySQL を利用することができます. ユーザが運用時に変化するような Web アプリの場合にはこれが便利だと思います. 各Webアプリ側の設定はこちら1. DB 設定create database authentication;create table user_table ( user varchar(30)…

Tomcatで基本認証

Tomcat で基本認証する方法として,Tomcat 自身で認証する方法と, Aapche と連携して Apache 側の認証機構を用いる方法の二つの方法が考えられます. ここでは前者の方法について説明します.・Webアプリの設定 WEB-INF/web.xml に以下のような記述を加えま…

コマンドラインで dmg ファイルをマウント

Mac OS X では dmg 形式のファイルはダブルクリックでマウントすることができます. しかし,リモートで作業している場合これができません. そこでコマンドラインからマウントしたい場合 hdiutil を使います. $ hdiutil mount <dmgファイル>これで /Volumes 以下にマウ</dmgファイル>…

長さを自動調整する矢印

矢印に文字を付加したい場合 \stackrel{}{} を使いますが,これで表示される矢印は付加する 文字列の長さに関係なく一定の長さで出力されます. 自動調整したい場合は amsmath スタイルの xleftarrow/xrightarrow を使います.例:\documentclass{jarticle} …

reftex-mode

僕は Microsoft Word のような WYSIWIG なワープロよりも,コマンドで整形できる Latex の方が好みです. そんな僕でも,比較的長い書類(卒論とか修論とか)を書くときは参照関係がゴチャゴチャになって投げ出したくなってしまいます. Emacs での Latex 環境…

Mac OS X でコマンドラインでパッケージをインストール

pkg や .mpkg ファイルをリモートの XServe にインストールするときなど,困ることがあります. これらのファイルは Finder でダブルクリックするとインストーラが起動するのですが, これが GUI であるためです. VNC で接続してインストールという手もあり…

オープンソース,プログラミング,その他 Tips など

こちらは"すえひろがりっっっ!"ソフトウェア版です. 昔はオープンソースとかソフトウェアとかプログラミングとか書いてたんですが, もとのブログに書きづらくなってきたのでこちらに分離.こちらはメモ感覚で使います.まずは,停止期間中に書きためたメモ…

Flow Script

Flow Script という JavaScript 形式の言語でページ遷移の流れを記述することができます.HTTP は本質的にステートレスなプロトコルであるため,Webアプリケーションの"状態"を表現するには一般にセッションを使います. Flow Script では HTTP において HTM…