[php] [TeX] Remote TeX Compiler α

Remote TeX Compiler α 前回のエントリでサーバーの環境は整えたので,今回はプログラム本体の製作.

2時間ほどのやっつけ仕事でとりあえず完成した.

 

    Remote TeX Compiler α

 

 

— version 0.1.2 (2009/06/08) —

  • 一時ファイルパーミッションのバグフィックス
  • ロギング機能を追加

— version 0.1.1 (2009/06/08) —

  • 一時ファイル削除機能実装

— version 0.1 (2009/06/07) —

  • サービス公開(DATA直接入力のみサポート)

続きを読む

[linux] [TeX] dvipdfmx奮闘記

今日の集中講義の時間中,

リモートでTeXのコンパイルができたら便利じゃん!

と思って,授業中に構想を練り,バイトから帰ってきて作ってみようかと思ったら,サーバー機の方に肝心のTeXをインストールしていなかった.

まあ,これに関してはaptで問題なくインストール.

# apt-get install platex

 

次に,ただdviで出力するだけでは不便だということで,dvipdfmxでpdf出力もできるようにしようと考えていたので,これもインストール.

# apt-get install dvipdfmx

 

その後,ちょっとセキュリティ関係の設定(上位ディレクトリにアクセスできなくするとか)を変えた後,適当なファイルでコンパイルしてみると,platexの方は問題なくいくが,dvipdfmxがなんかエラーを吐く.

…ここからが長かったorz

続きを読む

[linux] [shell] [vi] ゴミファイル掃除

linuxでviとか使ってファイルを編集してると、末尾が”~”(チルダ)なバックアップファイルが自動生成される。

uコマンドで編集を取り消したりするために作成されるみたいだけど、編集後も削除されずに残っているのがいただけない。

しばらく放置してるとたちまちディレクトリがゴミファイルだらけになってしまう。

鬱陶しくなる度に削除してたけど、面倒くさいのでコマンドで一括削除できるようにメモ。(どうもfindとかのオプションは覚えられない…普段あまり活用してないせいだけど)

続きを読む

[php] [pear] PEAR導入

今持っているPHPのリファレンスはPHP4時代の物.今はPHP5.そして,近いうちにPHP6がリリースされる.高校時代に買った物だけど,結構古くなってしまった.

CとかJavaとかある程度枯れた言語なら一冊大きなのを買って,あと追加されたぶんはWeb上のリファレンスで補填するかんじで大体大丈夫かと思うけど,PHPとかのまだまだ発展途上の言語はそうはいかない.

例えば,PHP4ではアクセス修飾子は使えずに,メンバ変数・関数はすべてpublic扱いだったのが,PHP5では,おなじみのpublic, protected, privateが導入されたり,メンバ変数・関数にstatic修飾子がつけられるようになったりしてるとか,かなり大きな仕様変更が起こる.

しばらくそんなこと知らずにメンバ変数を全部varで宣言してたw

php.netのリファレンスをみれば良い話なのだけど,やっぱり手元に紙のリファレンスは欲しい.

ということで,Amazonでいろいろ探してみた.

で,レビューとか説明書きを読んだ感じで絞っていって,最終的に買ったのがこの2冊.

  

2冊目の方は,ちょうど実験でセキュリティについてやるから,ちょうどいいかなと思ってついでに購入.

これらの本を探す過程で,PHPの拡張ライブラリ,PEAR(PHP Extension and Application Repository) というものの存在を知った.(前置き長いw)

続きを読む

[linux] CVSサーバー構築(なんか嵌った)

いつも複数の場所、PCでプログラミングをするので、データの同期は重要だ。

いかに簡単に、汎用性優れた同期を実行するかがポイント。

これまでは、自宅サーバー上にファイルを編集するごとに転送して、別のPCで続きをするときはそちらをまず読み込んで…という風に行ってきた。

これでもまあ、問題は無かったけれど、最近よく使うEclipseがCVSに対応しているので、CVSサーバーを立てることにした。

続きを読む

[Apache] mod_proxyでリバースプロキシ

デフォルトで起動しているデーモンのURLにポート番号が入っているのが煩わしく感じたのでバーチャルホストにmod_proxyでリダイレクトの設定をした。

もともと、前のサーバー運用中に、LAN内の新サーバーにもアクセスできるように設定していたのだけれど、今回設定方法をど忘れしてしまっていたので、忘れないようにメモ。

続きを読む