I run the following Gert's extract command to the data dump file which format .7z seems to be a problem:
extract () {
if [ -f $1 ] ; then
case $1 in
*.tar.bz2) tar xvjf $1 ;;
*.tar.gz) tar xvzf $1 ;;
*.bz2) bunzip2 $1 ;;
*.rar) unrar x $1 ;;
*.gz) gunzip $1 ;;
*.tar) tar xvf $1 ;;
*.tbz2) tar xvjf $1 ;;
*.tgz) tar xvzf $1 ;;
*.zip) unzip $1 ;;
*.Z) uncompress $1 ;;
*.7z) 7z x $1 ;;
*) echo "don't know how to extract '$1'..." ;;
esac
else
echo "'$1' is not a valid file!"
fi
}
I run it to the dump file. I get
extract so-export-2009-06.7z
extract:13: command not found: 7z
This suggested that I do not have 7z to extract files. I installed the app p7zip by MacPorts unsuccessfully. It did not start to act as 7z unzipper.
How can you unzip SO's data dump?