privatePath function

String privatePath(String part1, [ String? part2, String? part3, String? part4, String? part5, String? part6, String? part7, ])

Removes the users home directory from a path replacing it with ~

Implementation

String privatePath(
  String part1, [
  String? part2,
  String? part3,
  String? part4,
  String? part5,
  String? part6,
  String? part7,
]) {
  final prefix = rootPrefix(HOME);
  return truepath(part1, part2, part3, part4, part5, part6, part7)
      .replaceAll(HOME, '$prefix<HOME>');
}