這是本文件的舊版！

本機 persona 庫

^20190401 發現 Mozilla 把 persona 的格式大改了，這意味著，未來安裝 persona，已經不會再把資訊寫入 lightweightThemes.usedThemes 中了。既然，原本那些圖檔，都存放在 MAO 伺服器上，那難保哪天 Mozilla 不會移除這些連結，讓舊的 persona 資訊完全失效 ∴我plugin-autotooltip__defaultGHSRobert Ciang/MilchFlasche想先建立本機 persona 庫，來保留這個美麗的生態系（雖然暫時無法和新格式並存），方法就是把 MAO 伺服器上的圖全部下載，然後將 lightweightThemes.usedThemes 的連結全部改為本機連結

• 今天試過，本機連結是可以的（先確定這點，本機 persona 庫才可行）
  • 可以用放在 MAMP 的 /web 下（→ http://localhost/...）
  • 也可以直接用 file:///…
• 每個 persona 具備 4 個圖檔：
  • header
  • footer
  • preview
  • icon
• 如果用手動修改 lightweightThemes.usedThemes 而「安裝」上的 persona 資訊有誤，記得要先到擴充元件管理器中將該 persona 正式移除掉，可能還要重新啟動瀏覽器，然後再次修改 lightweightThemes.usedThemes，這樣才能順利改入

^20190402

1. 學會基本的 Bash script 語法，也在 MBA 上用 Homebrew 裝了 wget，寫了個初步可用的 Bash script 來下載一套 persona 的圖檔，並裝在以 ID 為名的資料夾中 ✔
2. 但是，發現很多 persona 的圖檔名稱並不規則！所以不能直接用 ID+迴圈來循環執行，得想辦法爬出所有的 URL 再餵 wget 了……