()
| 95 | } |
| 96 | |
| 97 | function getRegexForTempdir(): RegExp { |
| 98 | const tmp = os.tmpdir(); |
| 99 | return new RegExp(tmp.replaceAll('/', '\\/') + '\\/' + ce_temp_prefix + '[\\w\\d-.]*\\/'); |
| 100 | } |
| 101 | |
| 102 | /** |
| 103 | * Removes the root dir from the given filepath, so that it will match to the user's filenames used |
no test coverage detected