function fromFileUrl(url) {
  url = url instanceof URL ? url : new URL(url);
  if (url.protocol != "file:") {
    throw new TypeError("Must be a file URL.");
  }
  let path = decodeURIComponent(
    url.pathname.replace(/\//g, "\\").replace(/%(?![0-9A-Fa-f]{2})/g, "%25"),
  ).replace(/^\\*([A-Za-z]:)(\\|$)/, "$1\\");
  if (url.hostname != "") {
    // Note: The `URL` implementation guarantees that the drive letter and
    // hostname are mutually exclusive. Otherwise it would not have been valid
    // to append the hostname and path like this.
    path = `\\\\${url.hostname}${path}`;
  }
  return path;
}
/**
 * Converts a file URL to a path string.
 *
 *      fromFileUrl("file:///home/foo"); // "\\home\\foo"
 *      fromFileUrl("file:///C:/Users/foo"); // "C:\\Users\\foo"
 *      fromFileUrl("file://localhost/home/foo"); // "\\\\localhost\\home\\foo"
 * @param url of a file URL
 */
Converts a file URL to a path string.
Converts a file URL to a path string .
function fromFileUrl(url) {
  url = url instanceof URL ? url : new URL(url);
  if (url.protocol != "file:") {
    throw new TypeError("Must be a file URL.");
  }
  let path = decodeURIComponent(
    url.pathname.replace(/\//g, "\\").replace(/%(?![0-9A-Fa-f]{2})/g, "%25"),
  ).replace(/^\\*([A-Za-z]:)(\\|$)/, "$1\\");
  if (url.hostname != "") {
    path = `\\\\${url.hostname}${path}`;
  }
  return path;
}
function fromFileUrl ( url ) { url = url instanceof URL ? url : new URL ( url ) ; if ( url . protocol != "file:" ) { throw new TypeError ( "Must be a file URL." ) ; } let path = decodeURIComponent ( url . pathname . replace ( / \/ / g , "\\" ) . replace ( / %(?![0-9A-Fa-f]{2}) / g , "%25" ) , ) . replace ( / ^\\*([A-Za-z]:)(\\|$) / , "$1\\" ) ; if ( url . hostname != "" ) { path = ` \\ \\ ${ url . hostname } ${ path } ` ; } return path ; }
Converts a file URL to a path string.
Converts a file URL to a path string .
// Note: The `URL` implementation guarantees that the drive letter and // hostname are mutually exclusive. Otherwise it would not have been valid // to append the hostname and path like this.