2008年4月29日 星期二

將Google Docs上的文件檔案儲存在自己的電腦

今天,我介紹學伴的朋友用Google Docs…因為她沒灌Power Point.
結果,我發現按E-mail寄出去的,只會給連結,不會附加檔案在上面,
因此,我就在想怎樣才能把Google Docs上的檔案下載回自己的電腦裡,
試了一下之後,才發現只要在想下載的文件檔上,按右鍵再選Save as xxx就可以了,
enjoy~~~



Lean 4 極簡教學 (Using VS Code on macOS)

 1. Install Lean Environment: https://lean-lang.org/install/ 試著完Step one, two, three 2. 在VS code下,建一新的project: 取名Hello_World 3. 嘗試執行Main.lea...