sdkman 5.7.3 fish shell 3.0 fish shellは未だサポートされていない。ここから変わっていない。 ので、fisherからsdkman-for-fishをインストールする。するとうごく。 ちなみにsdkman、pyenvみたいにシステム標準のやつに切り替える方法が今はない。Issueみ…

MAP_FILTER、各要素についてのフィルターなので、OR条件で 要素AがBを満たす OR 要素CがDを満たす みたいなのはダメっぽいからおとなしくELEMENT_ATを複数回使う。 6.17. Map Functions and Operators — Presto 0.215 Documentation