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

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 で接続してインストールという手もあり…