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:

References

• The gdrive_download function link and link.

• How to set an iframe to fill the frame width and height

• How to Set the Top Margin & Left Margin on Google Docs

• Drive logo from link.