使用例 df | |
| 原作者 | ケン・トンプソン、 デニス・リッチー (AT&Tベル研究所) |
|---|---|
| 開発者 | さまざまなオープンソースおよび商用開発者 |
| 初回リリース | 1971年11月3日 |
| オペレーティング·システム | Unix、Unixライク |
| プラットフォーム | クロスプラットフォーム |
| タイプ | 指示 |
| ライセンス | コアユーティリティ: GPLv3+ |
df ( disk freeの略) は、呼び出し元のユーザーが適切な読み取りアクセス権を持つファイル システムの使用可能なディスク領域の量を表示するために使用される標準の Unix コマンドです。dfは通常、 statfsまたはstatvfsシステムコールを使用して実装されます。
歴史
dfUnix系システム向けのX/Open Portability Guideは、1987年第2版以降、X/Open Portability Guideの一部となっている。これは、 POSIXの最初のバージョンとSingle Unix仕様に継承された。[1]これは、 AT&T Unixバージョン1で初めて登場した。[2]
GNU coreutilsにバンドルされているdfのバージョンは、Torbjorn Granlund、David MacKenzie、Paul Eggert によって作成されました。[3]このコマンドは、一般的な GNU Unix ライクなユーティリティのネイティブWin32ポートのUnxUtilsコレクションの一部として、Microsoft Windows用の個別のパッケージとして利用できます。[4]
使用法
dfの Single UNIX 仕様は次のとおりです。
df [-k] [-P|-t] [-del] [ファイル...]
- -k
- スペースの数字を書き込むときは、デフォルトの 512 バイト単位ではなく、1024 バイト単位を使用します。
- -P
- 標準的で移植可能な出力形式を使用する
- ファイル
- 指定されたファイルを含むファイルシステムの空き容量を書き込みます
UnixおよびUnix 系オペレーティング システムにおけるdfの実装のほとんどには、追加オプションが含まれています。BSDおよびGNU coreutilsバージョンには、空き領域を適切なSI プレフィックス(例: 10 MB [5] )付きの単位で人間が読める形式で一覧表示する-h 、 inode の使用状況を一覧表示する-i、および表示をローカル ファイル システムのみに制限する-lが含まれています。GNU dfには、ファイル システムの種類情報を一覧表示する-Tも含まれていますが、GNU df はデフォルトで 1K ブロック単位でサイズを表示します。
仕様
Single Unix 仕様 (SUS) では、元のスペースは 512 バイトのブロックで報告され、少なくともファイル システム名と空きスペースの量が指定されます。
512 バイト単位の使用は歴史的に慣例となっており、lsや他のユーティリティとの互換性を維持しています。これは、ファイル システム自体が 512 バイト ブロックに基づいていることを義務付けるものではありません。-kオプションは妥協策として追加されました。標準開発者は、System Vでの歴史的一貫性が完全に保たれているため ( BSDシステムでの 512/1024 バイトの混在使用に対して)、512 バイトが最適なデフォルト単位であること、および1024 バイト単位に切り替える-kオプションが適切な妥協策であることに合意しました。より論理的な 1024 バイトの量を好むユーザーは、 512 バイト単位に依存する多くの歴史的スクリプトを壊すことなく、 df をdf -kに簡単にエイリアスできます。
-Pを使用した出力は、指定されたファイル システムごとに 1 行の情報で構成されます。これらの行は次のようにフォーマットされます。
<fs name><total space><space used><space free><percentage used><fs root>
次のリストでは、512 バイト単位 (-k が指定されている場合は 1024 バイト単位) で表現されたすべての数量が、次の上位の単位に切り上げられます。フィールドは次のとおりです。
<fs name>- 実装定義の形式でのファイル システムの名前。
<total space>- ファイルシステムの合計サイズ (512 バイト単位)。この数字の正確な意味は実装によって定義されますが、、およびシステムによって予約され、通常はユーザーが使用できないスペース
<space used>が含まれます。<space free> <space used>- ファイル システム内の既存のファイルに割り当てられたスペースの合計量 (512 バイト単位)。
<space free>- 権限のないユーザーが新しいファイルを作成するためにファイル システム内で使用できるスペースの合計量 ( 512 バイト単位)。この数値が 0 以下の場合、プロセスに適切な権限がない限り、他のファイルを削除せずにファイル システム上に新しいファイルを作成することはできません。書き込まれる数値は 0 未満になる場合があります。
<percentage used>- ファイル システム上のすべてのファイルに現在割り当てられている通常使用可能なスペースの割合。これは、次の分数を使用して計算されます。
- <使用スペース>/(<使用スペース> + <空きスペース>)
- パーセンテージで表されます。0
<space free>未満の場合、このパーセンテージは 100 より大きくなることがあります。パーセンテージ値は正の整数で表され、小数点以下の結果が出た場合は次に大きい整数に切り上げられます。 <fs root>- ファイルシステム階層が表示されるディレクトリ
例
df コマンドの出力例:
$ df
ファイルシステム 1K ブロック 使用済み 使用可能 使用率 マウント先
udev 48764976 0 48764976 0% /dev
tmpfs 9757068 173100 9583968 2% /run
/dev/sda2 1824504008 723009800 1008791744 42% /
tmpfs 48785328 0 48785328 0% /dev/shm
tmpfs 5120 0 5120 0% /run/lock
tmpfs 48785328 0 48785328 0% /sys/fs/cgroup
/dev/sda1 523248 3672 519576 1% /boot/efi
$ df -i
ファイルシステム Inodes IUsed IFree IUse% マウント先
udev 12191244 500 12190744 1% /dev
tmpfs 12196332 702 12195630 1% /run
/dev/sda2 115859456 2583820 113275636 3% /
tmpfs 12196332 1 12196331 1% /dev/shm
tmpfs 12196332 5 12196327 1% /run/lock
tmpfs 12196332 16 12196316 1% /sys/fs/cgroup
/dev/sda1 0 0 0 - /boot/efi
$ df -h
ファイルシステム サイズ 使用済み 使用可能 使用率 マウント先
udev 47G 0 47G 0% /dev
tmpfs 9.4G 170M 9.2G 2% /run
/dev/sda2 1.7T 690G 963G 42% /
tmpfs 47G 0 47G 0% /dev/shm
tmpfs 5.0M 0 5.0M 0% /run/lock
tmpfs 47G 0 47G 0% /sys/fs/cgroup
/dev/sda1 511M 3.6M 508M 1% /boot/efi
参照
参考文献
- ^ – シェルおよびユーティリティ リファレンス、The Single UNIX 仕様、バージョン 4、The Open Group
- ^ – FreeBSD一般コマンドマニュアル
- ^ – Linux一般コマンドマニュアル
- ^ 「いくつかの GNU ユーティリティのネイティブ Win32 ポート」unxutils.sourceforge.net。
- ^ 1 MB = 100万バイト
外部リンク
- : 空きディスク容量を報告 – シェルおよびユーティリティ リファレンス、The Single UNIX 仕様、バージョン 4、The Open Group
マニュアルページ
- df — GNU coreutilsのマニュアルページ
- : ディスクの空き容量を表示する – OpenBSD一般コマンドマニュアル
- df コマンド – Linux 情報プロジェクト (LINFO)
