這邊用 PHP 實作，可以自己改成其他程式語言。
主要是使用 \r 來回到行首，然後使用新的文字蓋過原有的文字，就可以出現簡單的圖形變換效果：
$symbol = ['\\', '|', '/', '-'];
$count = 0;
echo "\n";
while(1) {
echo "\rpending ..." . $symbol[$count % 4] ;
$count++;
sleep(1);
}
不知道有沒有什麼其他符號看起來比較清楚的？ O_Oa
這個需要透過 redis-cli 工具來協助。
列出所有的 keys：
redis-cli KEYS '*'
列出含有特定 prefix 的 keys
redis-cli KEYS 'zeroplex_*'
透過 xargs 將 key name 轉送給 redis-cli DEL
redis-cli KEYS 'zeroplex_*' | xargs redis-cli DEL
手殘，不小心把目錄的 ower 刪除，導致自己沒辦法存取檔案。只能從「安全行」=>「進階」把「擁有者」加回來，但實在太慢了。
看到一個工具：TakeOwnershipPro，可以快速的修改資料夾、檔案的擁有者：
沒有什麼特殊的設定，按下「Take Ownership」以後，就會將項目的擁有者改為現在登入的使用者。
最近 Windows Update 會遇到更新檔無法下載的問題，但似乎還是可以手動從微軟官方網站自行下載更新檔來安裝。注意網址，避免連到惡意網站。
https://www.catalog.update.microsoft.com/
打開後長這個樣子：
搜尋「windows 10」會列出相關的更新檔：
docker 遇到奇怪的錯誤訊息：
docker-compose up -d Failed to write all bytes for unicodedata.cpython-37m-x86_64-linux-gnu.so fwrite: No space left on device
看到 no space left 基本上先 df 看一下，剛好發現 /tmp 炸了：
df -h .... tmpfs 256M 256M 0 100% /tmp
清乾淨以後就恢復正常了。
理論上 /tmp 給 256 MB 理論上應該算夠大了，被塞爆不太正常，找時間翻一下是不是有服務出錯吧
看到另個作法，是讓 docker 清除不需要的資料來釋放空間：
docker system prune -af docker rmi $(docker images -f dangling=true -q)