export-zip-for-user.php 757 B

123456789101112131415161718192021222324252627282930
  1. #!/usr/bin/php
  2. <?php
  3. require('_cli.php');
  4. $options = getopt('', array(
  5. 'user:',
  6. 'max-feed-entries:',
  7. ));
  8. if (empty($options['user'])) {
  9. fail('Usage: ' . basename(__FILE__) . " --user username ( --max-feed-entries 100 ) > /path/to/file.zip");
  10. }
  11. $username = cliInitUser($options['user']);
  12. fwrite(STDERR, 'FreshRSS exporting ZIP for user “' . $username . "”…\n");
  13. $importController = new FreshRSS_importExport_Controller();
  14. $ok = false;
  15. try {
  16. $ok = $importController->exportFile(true, true, true,
  17. empty($options['max-feed-entries']) ? 100 : intval($options['max-feed-entries']),
  18. $username);
  19. } catch (FreshRSS_ZipMissing_Exception $zme) {
  20. fail('FreshRSS error: Lacking php-zip extension!');
  21. }
  22. invalidateHttpCache($username);
  23. done($ok);