2019-04-12から1日間の記事一覧

Java Stream におけるソートのお作法

ソート対象 昔ながらのソート Lambda を利用した冗長なソート Java8 Stream における正しいソート thenComparing による複合キーのソート ソート条件の指定 null コンパレータ Map のソート まとめ ソート対象 以下のような id と name プロパティを持った I…

Windows PowerShell で wget

Windows 環境で wget したい場合は PowerShell で代替できます。 PowerShell 2.0 で wget PowerShell 3.0 以降で wget PowerShell 2.0 で wget (new-object System.Net.WebClient).Downloadfile("https://example.com/", "C:\tmp\example.html") PowerShell …