http://www.res-system.com/weblog/item/563/catid/34date()関数を使うためには、php.ini にて、date.timezone の設定が必要とのこと。test.php:

http://ubulog.blogspot.com/2007/10/ubuntu.html より $ LANG=C xdg-user-dirs-gtk-update Moving TEMPLATES directory from テンプレート to Templates Moving PUBLICSHARE directory from 公開 to Public Moving DOCUMENTS directory from ドキュメント t…

dar コマンド一つで、 完全バックアップ (full backup) 差分バックアップ (differential backup) 増分バックアップ (incremental backup) に対応している。また、リストアも dar コマンドを使う。 完全バックアップ foo ディレクトリ以下にあるファイルをバ…

$ rm -- -filename または、 $ rm ./-filename のようにする。

106 キーボードだとデフォルトではアンダースコア(_)が入力できない。 以下の設定を追加すると、アンダースコアが入力できる。/etc/vmware/config : xkeymap.keycode.211 = 0x073個人用設定ファイルの ~/.vmware/preferences に追加しても良い。

プログラミング言語 Lua でコマンドライン引数を取得する方法を調べてみた。 http://d.hatena.ne.jp/eggman/20070918/1190122836 引数はテーブル arg に格納されている。 テーブルの要素数は、#arg (長さオペレータ# + 変数名)で表す。 arg[0] には、ファイ…

システム用の UID や GID が知りたかったので調べてみた。 Etch では、debian-policy パッケージに UID や GID に関する文書が入っている。文書名は、/usr/share/doc/debian-policy/policy.txt.gz100-999 がシステム用らしい。

いつの間にか、/etc/localtime が 正しく設定されていなかったので、Asia/Tokyo に直した。今回は、ツールを使ってみる。 メニューから、 [システム]-[システム管理]-[時刻と日付の設定] を選び、タイムゾーンをクリックすると地図が表示されるので、東京を…

パスワードなしで接続可能な user があれば、ssh 経由でパッケージがインストール出きる。/etc/apt/sources.list の書き方は以下の通り。 deb ssh://user@foo.example.org/srv/debian ./

The Debian System—その概念と技法によると、他にも問題があるらしい。 ユーザーを追加する処理はダメ。そのパッケージのアンインストールすると /etc/passwd が削除されてしまう。 設定ファイルの変更が、アップグレード時に上書きされて消えてしまう。 1つ…