PHPのexec()でシェルスクリプトを実行し、リモートホスト上のコマンドをsshで実行してローカルファイルをリダイレクトで渡す、という処理をしたかったのだが、上手く処理が進まずに開発が止まってしまっていた。 ssh のログでは以下のように出ている。 Host …

わけあって，以前 php4 で自分で作った Web サイトを改造することに．php の正規表現がよく分からなかったり，大きな数の計算とかできなくて，困ったのでメモ．複数行にわたる文字列から，正規表現にマッチする部分を抜き出したい．具体的にやりたいのは，PK…