static linux_partitionForPath(File path) {
  ret trim(backtick("df -P " + bashQuote(path) + " | tail -1 | cut -d' ' -f 1"));
}