2023-02-01から1ヶ月間の記事一覧
コマンドの出力結果同士の差分は、bashで プロセス置換 というワザを使う。 diff <(hexdump -C /tmp/a.bin) <(hexdump -C /tmp/b.bin) bash でコマンドの実行結果をファイルとして扱う - Diary bashのプロセス置換で遊んでみよう! | Raccoon Tech Blog [株…
PhpStormは jQueryのmin版を正常に読めないので、プロジェクトに追加してあっても $.() が未定義になってしまう。 そこで、同じバージョンのjQueryのminじゃない版を「外部ライブラリ」として追加することで解決する。 PhpStormで外部ライブラリは、外部ライ…
注意: array の配列の数値添字は保存されないことに注意しましょう。 PHP: array_splice - Manual 配列が変化しようとしまいと関係なく、とにかく array_splice() を通すだけで添字は振り直される 1, 2=>2, 4=>3]; print_r($a); array_splice($a, 10); print…
javascript:(function(){ open('https://b.hatena.ne.jp/entry/'+encodeURIComponent(location.href)) })()
変換される値がオブジェクトの場合、 デフォルトでは public としてアクセス可能なプロパティのみが含まれます。 PHP: json_encode - Manual #!/usr/bin/php -q
Windowsで作ったZIPファイルはファイル名がSJISであり、これをLinuxのPHPでファイル名をUTF-8にして解凍したい。 という話 blog.narazaki.info PHPでZipArchiveを使うと、statIndex() が勝手に憶測で文字コード変換をするために文字コードが破壊されてしまう…