static long totalDiskSpace() {
  ret userDir().getTotalSpace();
}