jQuery mobileを使っていると、ページ遷移後のdivにはidが自動的に振られる。 <a href="/sample/next.do?init=true&param=x">次へ</a> こんなURLだと、idはそのまんまで <div data-role="page" id="/sample/next.do?init=true&param=x"> になります。 とある事情から、このdivを取得して操作する必要が出たので、このように書きました。 var page = $('#/sample/next.do?init</div>…

less中にFでtail -f みたくなる、と話題だったのでメモしておく。

ここにいくつかのLinuxプチコマンドが載っているんだけど、その中でもファイル名変更のtipsが良かった。 http://www.ideaxidea.com/archives/2010/12/linux_commands.html mv filename.txt filename.bakってのと同様のことを以下でできるらしい。 mv filenam…