Here's a quick and dirty way to make this into a Python dictionary: (echo 'IP_MNEMONICS = {'; w3m -dump http://gurno.com/adam/mne/ http://gurno.com/adam/mne/ |

Here's a quick and dirty way to make this into a Python dictionary: (echo 'IP_MNEMONICS = {'; w3m -dump http://gurno.com/adam/mne/ http://gurno.com/adam/mne/ | grep -E '^[0-2][0-9][0-9] ' | while read quad word; do printf ' "%s": "%s",\n' "$quad" "$word"; done; echo '}';) > mnemonics.py