linuxでpathを通したがそれが認識されない

実現したいこと

litexファームウェアをビルドしてビットストリームにしてtang nano 20kに書き込みたい。
その各段階の説明がhttps://github.com/sipeed/TangNano-20K-example のlitex/how_to_build.mdにまとめられており、Build litex bitstreamの段階におけるpython3 -m -----をエラーなく終了させたい。

発生している問題・エラーメッセージ

531 PATH=~/gowin/IDE/bin:$PATH 532 python3 -m litex_boards.targets.sipeed_tang_nano_20k --build

以上の操作結果が以下です。

OSError: Unable to find Gowin toolchain, please: - Add Gowin toolchain to your $PATH.

試したこと

export PATH=~/gowin/IDE/bin:$PATH
export PATH=~/gowin/IDE:$PATH
export PATH=~/gowin:$PATH
export PATH=$PATH:~/gowin/IDE/bin
export PATH=$PATH:~/gowin/IDE
export PATH=$PATH:~/gowin
どれも同じく失敗しました。
https://qiita.com/ryouya3948/items/8edbd5d744c83dd41141
の記事に従って
~/.bashrcにexport PATH=~/gowin/IDE/bin:$PATHなどを追加してsource ~/.bashrcを実行しましたが、同じく失敗しました。

補足情報（FW/ツールのバージョンなど）

• pip3 install mesonしたのにmesonないぞ！というエラーが生じたときはexport PATH=$PATH:~/.local/binで解決しました。