% cd ~ % tar zxvf Desktop/coq-8.9-mathcomp-1.11.0.tgz #Firefoxの場合 % tar zxvf Downloads/coq-8.9-mathcomp-1.11.0.tgz #Safariの場合