wget a Google Drive file
Note: this isn't working, just listing it for reference at this point. It was purported to work.
This posts lists how to get a Google Drive file using wget (and sed and rm).
Copy and paste this into a bash line.
These two commands will download the content you see above at link: https://docs.google.com/document/d/120aPYqveqPx6jtssMEnLoqY0kCgVdR2fgMpb8FhFNHo/edit?usp=sharing
For other files use the ID of the file and call grive_download with the ID and what you'd like to name the resulting file:
Drive logo from link.