這邊用 PHP 實作,可以自己改成其他程式語言。
主要是使用 \r
來回到行首,然後使用新的文字蓋過原有的文字,就可以出現簡單的圖形變換效果:
$symbol = ['\\', '|', '/', '-']; $count = 0; echo "\n"; while(1) { echo "\rpending ..." . $symbol[$count % 4] ; $count++; sleep(1); }
不知道有沒有什麼其他符號看起來比較清楚的? O_Oa
軟體開發、伺服器和生活瑣事
這邊用 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)