WEBアプリケーション研究室 開発ノート TOP

WEBアプリケーション研究室 開発ノート

Parallels10にDSP版のWindows10を入れてみました。

無償アップグレードをする方法はこちらにありましたが、仕事で使ってるため、なにかあるとまずいので、DSP版を購入しインストールしてみました。

インストールしたのはこちら


特に問題なくインストールされ、ライセンス認証も無事通りました。快適に使えてます。


    このエントリーをはてなブックマークに追加

Zend_Dateの`get()`や`toString()`にフォーマットを渡して日付の文字列を取得できますが、ある月の最後の日を取得できます。


$date = new Zend_Date();
$last_day = $date->get('ddd');


`ddd`で取得可能です。

    このエントリーをはてなブックマークに追加

command+spaceで言語切替ができない問題をずっと解決出来なかったがクリアーになりました。

Preferences->System Shortcuts

を開いて、`Send system shortcuts`を`Always`にすると、受け付けるようになります。システムショートカットをマックに渡さないで、Windowsに渡す設定って感じでしょうか?

ああ、使いやすくなった!

    このエントリーをはてなブックマークに追加

How to see all commit messages from docker image.


docker history -q --no-trunc IMAGE_NAME | xargs docker inspect --format='{{.Id}} {{.Created}} {{.Comment}}'


    このエントリーをはてなブックマークに追加

とくにPHPというわけではありません。ちょっとしたテクニックなので紹介しておきます。ちなみにここを参考(というか丸パクリですが)にさせていただきました。


$date = new Zend_Date();
$date->setTimestamp(ceil($date->getTimestamp() / (10 * 60)) * (10 * 60));


サンプルはZend_Dateを使ってますが、UNIXTIMESTAMPなら何でもいけます。時間や日付の繰り上げがあるので、分だけに注目しないで、TImestamp全体でやるのがキモでしょうか。ceilを変えてやれば切り捨ても可能です。いつもの通り、言われてみれば単純ですが、皆さん賢いですなあ。

    このエントリーをはてなブックマークに追加