The command Pintos can not find

Question

The command Pintos can not find

Closed this issue 2 years ago · 0 comments

fang19911030 commented 3 years ago

Hi,

I used the vagrant to build the virtual machine, when I try command pintos run, the system threw an error like pintos can not be found. I also try to update the PATH variable， but the $HOME/.bin does not exist. Could anyone give me some help? Thank you.