(uri?: Uri)
| 57 | }; |
| 58 | |
| 59 | export function getResourceType(uri?: Uri): 'notebook' | 'interactive' { |
| 60 | if (!uri) { |
| 61 | return 'interactive'; |
| 62 | } |
| 63 | // this returns `interactive` for any resource that isn't *.ipynb - that seems wrong |
| 64 | return uriPath.extname(uri).toLowerCase().endsWith('ipynb') ? 'notebook' : 'interactive'; |
| 65 | } |
| 66 | |
| 67 | function fixupOutput(output: nbformat.IOutput): nbformat.IOutput { |
| 68 | let allowedKeys: Set<string>; |
no test coverage detected