[C#] 有効なネットワークアダプタのIPアドレス取得

[Mac] ゴミ箱を強制的に空にする

ゴミ箱を空にしようとしたら、ゴミ箱に入っているファイルが使用中のため削除できないというメッセージが表示された。

何をしたかというと、外付けドライブを接続してTime Machineでバックアップを取っていたんだけど、机の上を片付けていたら誤ってトライブのケーブルを引き抜いてしまい、外付けドライブを内容をチェックしたら「日付.InProgress」といった作業途中と思しきファイルがあったので、手動でそれをゴミ箱に捨てたというわけ。

セーフリブートした状態でゴミ箱を空にしようとしても状況は変わらず。じゃあ、いっそのことGUI経由じゃなくてシェルからコマンドで消してやれと思ってターミナル開けて調べたら、ボリューム直下にある .Trash とか .Trashes というファイルがどうやらゴミ箱らしい。GUIでゴミ箱開けて表示されるのと同じ名前のファイルがあったので間違いなさそう。

一般ユーザで削除しようとしたらパーミッションが無いと叱られたので、sudo suでスーパーユーザになってrmコマンドで消せた。GUIからゴミ箱表示したら空っぽになっていた。

以上自分用の覚書。

[Laravel] HomesteadでPHPのバージョンを切り替える

Homesteadの便利なところは、同じ仮想マシンで複数バージョンのPHPがサポートされていること。ちなみにHomestead 8.0では、5.6、7.0、7.1、7.2、7.3がサポートされている (デフォルトは7.3)。

サイトごとのPHPバージョンの指定

php:ディレクティブで指定する。

CLIでのPHPバージョンの指定 (実行時)

実行時に特定のバージョンのPHPを指定する。

CLIでのデフォルトのPHPバージョンの切り替え

以下のコマンドで行う。

参考サイト

Laravel Homestead – Laravel – The PHP Framework For Web Artisans
https://laravel.com/docs/6.0/homestead#multiple-php-versions

[PHP] Carbonを使って曜日を日本語で表示する

曜日を日本語で表示したい。

参考サイト

PHPの便利な日時操作ライブラリCarbonで曜日を日本語で表示する | A Small, Good Thing – blog
http://blog.omoon.org/20160309/1075

[PHP] ロケール情報を設定する

ロケール情報を設定する

現在の設定を取得する

ゼロを指定すると、ロケール設定は適用されずに、単に現在の設定が返される。

参考サイト

PHP: setlocale – Manual
https://www.php.net/manual/ja/function.setlocale.php

[Unix] 日本語ロケールを追加する

現在のロケールを確認する。

システムがサポートしているロケールを一覧する。

日本語ロケールが無いので追加する (Ubuntu)

参考サイト

ロケール(locale)まとめ – Qiita
https://qiita.com/aosho235/items/58e2e7acd5c2ee3641ff

Ubuntuで日本語ロケールの設定 – Qiita
https://qiita.com/kei2100/items/a912ec733f646f8c3938

[英語] false-positive

前エントリで書いたPhanだけど、公式ページの冒頭に以下のように書かれていた。

Phan is a static analyzer for PHP that prefers to minimize false-positives. Phan attempts to prove incorrectness rather than correctness.

ここで”false-positive”とはどういう意味なのか。

もともとは医学用語として使われていたらしい。以下のページの説明がわかりやすい。

False PositiveとFalse Negative – Qiita
https://qiita.com/steel_code/items/101c9d037d5e8c2b7876

たとえば、ある人がガンかどうかの検査をする場合
– 本当はガンの人はTrue Positive
– 本当はガンではない人はTrue Negative

誤検知されたケース
– テストでガンと判定されたけど、実はガンじゃなかった=False Positive
– テストでガンと判定されなかったけど、実はガンだった=False Negative

そういうことなのね。IT業界での用例は以下ページ。

フォールスポジティブ (false positive)とは|「分かりそう」で「分からない」でも「分かった」気になれるIT用語辞典
https://wa3.i-3-i.info/word15239.html

誤った判定 – 学校では教えてくれないバッドノウハウ英語 #13 – bkブログ
http://0xcc.net/blog/archives/000176.html

[PHP] Phanをセットアップする

PhanはPHPの静的解析ツール。

GitHub – phan/phan: Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
https://github.com/phan/phan

Phanのインストール

php-ast extensionが無いと叱られたので、以下のページの説明に倣ってphp-astをインストールする。

GitHub – nikic/php-ast: Extension exposing PHP 7 abstract syntax tree
https://github.com/nikic/php-ast#installation

Phanが動くようになったら設定ファイルを作って実行する。

参考サイト

Phanで静的解析 – Qiita
https://qiita.com/msmsny/items/46aaeda7e565cfc7ec48

Phan静的解析がもたらす大PHP型検査時代 – pixiv inside [archive]
https://devpixiv.hatenablog.com/entry/2016/11/11/202656