pdf.js/external/shelljs/global.js

var shell = require('./shell.js');
for (var cmd in shell)
  global[cmd] = shell[cmd];