stripDiskPrefix function

String stripDiskPrefix(
  1. String prefix,
  2. String path
)

Removes prefix from the front of a normalized path.

Implementation

String stripDiskPrefix(String prefix, String path) {
  if (prefix.isEmpty) return path;
  if (path == prefix) return '';
  return path.startsWith('$prefix/') ? path.substring(prefix.length + 1) : path;
}