df
唯讀回報每個已掛載檔案系統的剩餘與已用空間。
- 指令
- adb shell df
- 指令
- 檔案與空間
- 風險
- 唯讀
語法
df [-k] [-h] [-H] [-P] [-i] [<path>]旗標與參數
| token | 意義 |
|---|---|
| -k | 1024 位元組區塊，也是把標頭標籤固定成你可以依賴的那個的旗標。 |
| -h | 人類看得懂的形式，1024 進位。 |
| -H | 人類看得懂的形式，1000 進位。 |
| -P | POSIX 輸出：512 位元組區塊，而百分比那欄會叫 Capacity。 |
| -i | 計算 inode 而不是位元組。這時欄位裡放的是 inode 數。 |
| -t <type> | 把表格限縮成某一種類型的檔案系統。在 Android 上很值得帶，因為不篩選的清單會把你在意的那兩個分割區，埋在幾十個 `tmpfs` 與 overlay 掛載點底下。 |
| -a | 把預設被藏起來的偽檔案系統也列出來。當你預期的某個掛載點在一般清單裡就是不見時，先用它，再下「它從來沒被掛上」的結論。 |
範例
df -k /datauserdata 分割區的剩餘空間，單位是 KiB。
df -k每一個已掛載的檔案系統。
df -h /data用眼睛看很快，但不是拿來計算的數字。
df -k /data /sdcard手機上真正重要的那兩列，一次呼叫拿到，而且單位在共用的標頭裡只宣告一次。
df -k -a全部，包含偽檔案系統，適合預期的掛載點沒有出現在預設表格裡的時候。
輸出怎麼讀
輸出範例
Filesystem 1K-blocks Used Available Use% Mounted on
/dev/block/dm-9 111222333 98765432 12345678 89% /data標頭那一行「就是」單位宣告，而且單位只出現在那裡——所以要透過標頭而不是靠位置來讀欄位。`1K-blocks` 代表每個區塊 1024 位元組，`512-blocks` 是 512，`Size` 代表值被轉成人類看得懂的形式，而 `Inodes` 代表那些數字根本不是位元組。
輸出欄位
| 欄位 | 意義 |
|---|---|
| 1K-blocks | 以 1024 位元組區塊計的總量。`-k` 與預設。 |
| 512-blocks | 以 512 位元組區塊計的總量，也就是 `-P` 的輸出。 |
| Size / Avail | 來自 `-h` 或 `-H` 的人類可讀值，三位有效數字。 |
| Use% / Capacity | 已使用的百分比。標籤會隨旗標改變。 |
| Mounted on | 掛載點。它在標頭是兩個字、在每一列是一欄。 |
| - | 量不到的檔案系統。不是零。 |
| IFree / IUse% | `-i` 拿來取代 `Available` 與 `Use%` 的那兩個 inode 欄位。一個分割區可能 inode 已經滿了、位元組卻還有剩，而只有這兩欄看得出來。 |
| Filesystem | 後端裝置，或者 bind 與偽掛載的來源。在新一點的手機上，這裡通常是像 `/dev/block/dm-9` 這樣的 device-mapper 名稱，而不是一個你看得出來是什麼的分割區。 |
需要什麼權限
唯讀而且不需要特權：不用 root、不用 `adb root`，也沒有東西要先啟用。`df` 讀掛載表，再向核心要每個檔案系統的區塊數，所以這些數字描述的是檔案系統本身而不是裡面存了什麼，也因此不需要任何目錄讀得到，某一列就已經是對的。這個區別值得記住，因為同一支手機上的 `du` 會拒絕它走訪的一半東西：`df` 給的 `/data` 那一列是可信的，即使 `du /data` 是一整面的 `Permission denied`。給路徑只會改變印出哪幾列——那個參數會被檢視以判斷它在哪個裝置上，而一個 shell 檢視不了的參數會被回報並跳過，不是拿去猜。這裡完全沒有寫入的形式。要空出空間是 `pm trim-caches` 或刪除，各自有自己的頁面與自己的確認，而且都不是在這一頁上打錯一個旗標就能碰到的。Android Storage Analyzer 的 `/data` 數字取自這個指令，理由和它出現在這一頁上一樣：這是手機上唯一一個不取決於 shell 剛好被允許打開什麼的儲存數字。
失敗訊息對照
| 訊息 | 意義 |
|---|---|
| df: '/mnt/media_rw/0000-1111': No such file or directory | 那個路徑參數沒辦法被檢視，所以不會有它的列，其他參數的列照樣印。對照 `android11-release` 到 `android15-release` 分支上的 `toys/posix/df.c`，這裡的路徑真的是被單引號包起來的——這是把這一行和某個剛好含有類似字詞的表格列分開的可靠方法，因為真正的列從來不會引任何東西。 |
| df: '/data/data/com.example': Permission denied | 路徑參數要先被 stat 過，`df` 才知道它落在哪個檔案系統上，而 app 私有儲存空間對 shell 就是不給。所以這是「區塊數本身完全不需要權限，查詢卻仍然可能因為權限而失敗」的唯一一條路：那個參數不會有列，其他參數的列照樣印。改問掛載點就好——`df /data` 回答的是同一個問題，而且什麼都不需要。 |
| df: Unknown option 'z' (see "df --help") | toybox 不認識那個字母，什麼都沒量到。它引出來的是它放棄的那一刻、破折號後面剩下的東西，所以 `-kz` 會被回報成 `z` 而不是整個字——請把它讀成「我認不出來的第一個字母」，不是你打的那個參數。 |
版本與廠商注意事項
- `-h` 與 `-H` 從輸出上分不出來：欄位標籤一樣、單位字母也一樣，唯一能看出來的是千位元組後綴的大小寫。人類可讀的值沒辦法告訴你是哪個基數，所以重要的時候就要求區塊單位。
- shell 會把標準錯誤併進輸出，所以像 `df: /mnt/media_rw/0000-1111: No such file or directory` 這樣的行會出現在表格中間，而它的字數多到看起來像一列。真正的列，會在標頭承諾有數字的地方放著數字。
- Android 5.1 及更早的 `df` 是另一套實作，標頭不同、沒有獨立的掛載點欄位，而且它不認識 `-k`——它會把那個旗標當成路徑。
- 有一個旗標的分組真的在版本之間變過：`-k` 在 Android 11 以前的 toybox 裡待在 `[-HPkh]` 群組中，Android 12 把它移了出來。要注意這種群組做的事：toybox 不是拒絕你，而是安靜地把先立起來的那個旗標放掉。所以舊版本上的 `df -P -k` 會掉了 `-P`，印出一張純粹 1024 位元組區塊的表，從 Android 12 起則是兩個都生效。兩邊都不會吭一聲——這正是跨過這條界線的腳本應該把 `-k` 單獨送的理由。
- 照查過的原始碼，量不到的路徑那一行會用單引號把路徑包起來。這裡完全不需要 root，而 `adb root` 也一列都不會多給你：掛載表是全域可讀的，而向一個掛載點要區塊數，並不需要走進去的權利。
這個我們有 UI
Android Storage Analyzer 會透過 USB 執行這個指令並解析回應——只要 Chromium 系瀏覽器，不必安裝 SDK，也不會上傳任何東西。
相關指令
和 df 會在同一次作業裡出現的指令。
| 指令 | 做什麼 |
|---|---|
| du | 回報一棵目錄樹占掉多少磁碟空間。 |
| dumpsys diskstats | 每個分割區的剩餘空間、一次磁碟寫入延遲的實測，以及一份快取起來的各 app 空間用量。 |
| pm trim-caches | 要求系統一直丟掉快取檔案，直到剩下你指定的空間為止。 |
其他檔案與空間指令
這些行為是在撰寫 Web ADB 工具背後的解析程式時，對照 AOSP、toybox 與核心原始碼查證的。真的會因 Android 版本或廠牌而異的地方，這一頁會直接說明，而不是給你一個在半數手機上都是錯的數字。