docs: function NachosConfig() {
    var defaults = {
      packages: nachosHome('packages'),
      server: 'http://nachosjs.herokuapp.com',
      defaults: {
        shell: 'shell',
        exts: {}
      },
      startup: []
    };
  
    debug('creating new settings file with these defaults: %j', defaults);
  
    SettingsFile.call(this, 'nachos', {
      globalDefaults: defaults
    });
  }