4 ms·Eh, I made a typo. The PATH for tcvm and tx0 should be $HOME/t3x0/bin.by anthk 5mo agoEh, I made a typo. The PATH for tcvm and tx0 should be $HOME/t3x0/bin.