GNU/Linux ◆ xterm ◆ bash 599 views

Erratum in the first command:

echo "PATH=$PATH:~/local/m4/bin/:~/local/flex/bin/:~/local/bison/bin/" >> ~/.bashrc