/proc/4/root/var/lang/lib/node_modules/npm/node_modules/tinyglobby/node_modules/picomatch
This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.
'use strict'; const pico = require('./lib/picomatch');const utils = require('./lib/utils'); function picomatch(glob, options, returnState = false) { // default to os.platform() if (options && (options.windows === null || options.windows === undefined)) { // don't mutate the original options object options = { ...options, windows: utils.isWindows() }; } return pico(glob, options, returnState);} Object.assign(picomatch, pico);module.exports = picomatch;