Exemplo n.º 1
0
if ($argc < 7) {
    echo "usage:\n";
    echo "\tphp space.php <ignore-root> \"localhost\" - - - <usage-file> [expand-file] [--force]\n";
    echo "\tphp space.php <ignore-root> <hostname> <port> <user> <key> <usage-file> [expand-file] [--force]\n";
    die;
}
$ignore_root = intval($argv[1]);
$hostname = $argv[2];
$usage_file = $argv[6];
$expand_directories = empty($argv[7]) ? array() : read_json_array($argv[7]);
$force = isset($argv[8]) && $argv[8] === "--force";
if ($hostname != "localhost") {
    Executor::$host = $hostname;
    Executor::$port = is_numeric($argv[3]) ? intval($argv[3]) : 22;
    Executor::$user = $argv[4];
    Executor::$key = $argv[5];
}
$space = new Capacity();
$mounts1 = list_mounts("type ext");
$mounts2 = list_mounts("type fuse.mfs");
$mounts = array_merge($mounts1, $mounts2);
asort($mounts);
if (!$force) {
    $json = read_json_array($usage_file);
    $usage = $json["usage"];
    $capacity = $json["capacity"];
} else {
    $usage = array();
    $capacity = array();
}
foreach ($mounts as $partition => $path) {