41 import java.nio.file.*;
42 import java.nio.file.attribute.*;
43 import java.io.IOException;
52 static final long K = 1024;
55 long total = store.getTotalSpace() /
K;
56 long used = (store.getTotalSpace() - store.getUnallocatedSpace()) /
K;
57 long avail = store.getUsableSpace() /
K;
59 String s = store.toString();
60 if (s.length() > 20) {
61 System.out.println(s);
64 System.out.format(
"%-20s %12d %12d %12d\n", s, total,
used, avail);
67 public static void main(String[] args)
throws IOException {
68 System.out.format(
"%-20s %12s %12s %12s\n",
"Filesystem",
"kbytes",
"used",
"avail");
69 if (args.length == 0) {
70 FileSystem
fs = FileSystems.getDefault();
71 for (FileStore store:
fs.getFileStores()) {
75 for (String
file: args) {
76 FileStore store = Files.getFileStore(Paths.get(
file));