googleマップのピンのカスタム
googleマップのピンをマスタムすることが出来ます。 まず、iconに、アイコンの設定を記述します。 var icon = new google.maps.MarkerImage( “http://loca…
WordPressプラグインに頼らずAnalyticsコードを貼り付ける
<head>タグ内に加える テーマのheader.phpにHTMLを直接書いてしまう手もありますが、テーマファイルをあまり汚したくない場合はfunctions.phpに以下のように加えます。 function…
【Bash】差集合
大学1年くらいでやるやつ (覚えてない) sort $set1_file_path $set2_file_path $set2_file_path | uniq -u 実行例 $ cat a 1 2 3 4 5 6 $ …
PHPで条件式を用いる時の「===」と「==」違い
if文なんかで値の一致を調べる時に、「===」と「==」のどちらを使うかでは大きな違いがあります。 「==」は 単に値が一致しているか確かめたい時に用います。 一方で、 「===」は値とデータ型までふくめて完全に一致して…
JSONの出力で欲しいデータのみを抜き出す(jqコマンド)
jqコマンドを用いることでJSONの出力で欲しいデータのみを抜き出すことが出来る。 例えば以下のようにJSONを吐き出すコマンドを実行するときのことを考える。 { “users”: [ { “id”: 10000, “n…【Bash】コマンドの終了ステータスを判定して何かしたい時のイディオム
Bashの話。 コマンドの終了ステータスを判定して何かしたい時、 下記のように書くことがよくある。 output=$(your_kool_command) if [ $? -ne 0 ]; then echo “Oops…WordPressのローカル環境のベストは？XAMPP, VCCW, LOCALを比較
WordPressのローカル環境を作るにはいくつかの選択肢があります。 新旧の方法が混ざっているため、初めてローカル環境を作りたいけど迷っている人。またはすでにローカル環境は利用しているけどより良いツールで効率改善を図り…