(p: string)
| 102 | } |
| 103 | |
| 104 | async function mtimeOrUndefined(p: string): Promise<Date | undefined> { |
| 105 | try { |
| 106 | const { mtime } = await stat(p) |
| 107 | return mtime |
| 108 | } catch { |
| 109 | return undefined |
| 110 | } |
| 111 | } |
| 112 | |
| 113 | /** |
| 114 | * Shorten home-dir-prefixed paths to ~ notation for the banner. |
no test coverage detected