昨日気づいたのですが、Chromebook（現時点でのChrome OS）では「ファイルアプリのGoogleドライブフォルダ内ではzipファイルを生成することができない」みたいです。
ではフォルダを圧縮してzipファイルを作りたい場合はどうすれが良いのか、ということで、対応策を２つ考えてみました。
ウェブ版Googleドライブを使う
ChromeブラウザでGoogleドライブを開き、目的のフォルダをzip形式でダウンロードする作戦です。簡単ですね！
Chromebookのダウンロードフォルダにコピーする
zip圧縮したいフォルダを丸ごとダウンロードフォルダにコピーした後、圧縮します。どうやらダウンロードフォルダ内ではzip圧縮することが可能なようです。コピーする間、少々時間が掛ることもありますが、この方法であればオフラインのときでも実行できるのでおすすめです。
でもやはりふつうに圧縮できるようにしてほしいですね...
