ksino's diary

WSLからの名前解決が遅く、sdkmanがまともに動かなかったり、git cloneに失敗するという状況でした。 解決策はいくつかあるようですが、渡しの場合はdnsTunnelingで解決できました。{USERHOME}\.wslconfig ファイルを作成し、下記の内容を保存します。 [wsl2] dnsTunneling=trueWSLを停止し、再起動します。 > wsl --shutd…