41 import java.nio.file.*;
42 import java.nio.file.attribute.*;
43 import java.io.IOException;
52 static final long K = 1024;
54 static void printFileStore(FileStore store)
throws IOException {
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()) {
72 printFileStore(store);
75 for (String file: args) {
76 FileStore store = Files.getFileStore(Paths.get(file));
77 printFileStore(store);