バージョン: 111.0.5563.65
chrome://flags
を開き、Search web in side panel を Disabled にする
バージョン: 111.0.5563.65
chrome://flags
を開き、Search web in side panel を Disabled にする
コマンドの出力結果同士の差分は、bashで プロセス置換 というワザを使う。
diff <(hexdump -C /tmp/a.bin) <(hexdump -C /tmp/b.bin)
bash でコマンドの実行結果をファイルとして扱う - Diary
bashのプロセス置換で遊んでみよう! | Raccoon Tech Blog [株式会社ラクーンホールディングス 技術戦略部ブログ]
これをsystem関数で呼べばいいだけだけど、エラーになる。 たぶん/bin/shを使ってる
<? system("diff <(hexdump -C /tmp/a.bin) <(hexdump -C /tmp/b.bin)"); ... sh: -c: 行 0: 予期しないトークン `(' 周辺に構文エラーがあります
よって、敢えてbashを使うことで意図した動作になる
<? system("bash -c 'diff <(hexdump -C /tmp/a.bin) <(hexdump -C /tmp/b.bin)'");
やったぜ
PhpStormは jQueryのmin版を正常に読めないので、プロジェクトに追加してあっても $.() が未定義になってしまう。
そこで、同じバージョンのjQueryのminじゃない版を「外部ライブラリ」として追加することで解決する。
PhpStormで外部ライブラリは、外部ライブラリの上で右クリックで追加とかはできない。設定メニューから追加する。
設定⇒言語&フレームワーク⇒JavaScript⇒ライブラリ
で、「追加」をおこなう
名前: なんでもよい
フレームワークタイプ: jQuery
可視性: グローバルにしておくとどのプロジェクトからもこのライブラリが選択可能になる
+ を押して、外部ライブラリに追加したいファイル(jquery-3.6.0.js)を選択する
注意:
PHP: array_splice - Manual
array の配列の数値添字は保存されないことに注意しましょう。
配列が変化しようとしまいと関係なく、とにかく array_splice() を通すだけで添字は振り直される
<?php $a = [0=>1, 2=>2, 4=>3]; print_r($a); array_splice($a, 10); print_r($a);
実行結果はこんな感じになる
Array ( [0] => 1 [2] => 2 [4] => 3 ) Array ( [0] => 1 [1] => 2 [2] => 3 )
javascript:(function(){ open('https://b.hatena.ne.jp/entry/'+encodeURIComponent(location.href)) })()