WSL上で docker build するとストレージ容量が足らなくてエラーになる現象を何とかする

ブログの更新が手間で、相当開いてしまいました。 これからはちょこちょこ更新できるようにしたいものです。 最近 FPGA を触ろうと思って、Xilinxのツールを入れようとしています。 普段は Windows 使いなので最初は Windows 版の Vitis/Vivado をインストールしていたので …